Interpretations of extensible objects and types

  • Viviana Bono
  • Michele Bugliesi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1684)


We present a type-theoretic encoding of extensible objects and types. The ambient theory is a higher-order λ-calculus with polymorphic types, recursive types and operators, and subtyping. Using this theory, we give a type preserving and computationally adequate translation of a full-fledged object calculus that includes object extension and override. The translation specializes to calculi of nonextensible objects and validates the expected subtyping relationships.


Type Operator Object Type Typing Rule Object Extension Method Invocation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AC95]
    M. Abadi and L. Cardelli. On Subtyping and Matching. In Proceedings of ECOOP’95: European Conference on Object-Oriented Programming, volume 952 of LNCS, pages 145–167. Springer-Verlag, August 1995.Google Scholar
  2. [AC96]
    M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.Google Scholar
  3. [ACV96]
    M. Abadi, L. Cardelli, and R. Viswanathan. An Iterpretation of Objects and Object Types. In Proc. of POPL’96, pages 396–409, 1996.Google Scholar
  4. [BB98]
    V. Bono and M. Bugliesi. Matching for the Lambda Calculus of Objects. Theoretical Computer Science, 1998. To appear.Google Scholar
  5. [BCP97]
    K. Bruce, L. Cardelli, and B. Pierce. Comparing Object Encodings. In Proc. of TACS’97, volume 1281 of Lecture Notes in Computer Science, pages 415–438. Springer-Verlag, 1997.Google Scholar
  6. [BDZ99]
    G. Boudol and S. Dal-Zilio. An interpretation of extensible objects. In Proceedings of FCT’99, 1999.Google Scholar
  7. [BL95]
    V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In Proc. of CSL, volume 933 of Lecture Notes in Computer Science, pages 16–30. Springer-Verlag, 1995.Google Scholar
  8. [Bru94]
    K.B. Bruce. A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantcs. Journal of Functional Programming, 1(4):127–206, 1994.MathSciNetGoogle Scholar
  9. [Coo87]
    W. Cook. A Self-ish Model of Inheritance. Manuscript, 1987.Google Scholar
  10. [Coo89]
    W.R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.Google Scholar
  11. [Cra98]
    K. Crary. Simple, efficient object encoding using intersection types. Technical report, Cornell University, April 1998.Google Scholar
  12. [FHM94]
    K. Fisher, F. Honsell, and J. C. Mitchell. A Lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing, 1(1):3–37, 1994.zbMATHMathSciNetGoogle Scholar
  13. [FM95]
    K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In Proc. of FCT, volume 965 of Lecture Notes in Computer Science, pages 42–61. Springer-Verlag, 1995.Google Scholar
  14. [Kam88]
    S. Kamin. Inheritance in Smalltalk-80: a denotational definition. In Proc. of POPL’88, pages 80–87. ACM Press, 1988.Google Scholar
  15. [Liq97]
    L. Liquori. An Extended Theory of Primitive Objects: First Oder System. In Proc. of ECOOP, volume 1241 of Lecture Notes in Computer Science, pages 146–169. Springer-Verlag, 1997.CrossRefGoogle Scholar
  16. [PT94]
    B. Pierce and D. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207–248, 1994.zbMATHCrossRefGoogle Scholar
  17. [Rem97]
    D. Remy. From classes to objects, via subsumption. Technical report, INRIA, 1997. Also in Proceeding of ESOP’98.Google Scholar
  18. [Vis98]
    R. Viswanathan. Full abstraction for frst-order objects with recursive types and subtyping. In Proc. of LICS’98, pages 380–391, 1998.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Viviana Bono
    • 1
  • Michele Bugliesi
    • 2
  1. 1.School of Computer ScienceThe University of BirminghamEdgbastonUK
  2. 2.Dipartimento di InformaticaUniversità “Ca’ Foscari” di VeneziaMestreItaly

Personalised recommendations