Skip to main content
SpringerLink
Log in
Book cover

Annual Asian Computing Science Conference

ASIAN 1996: Concurrency and Parallelism, Programming, Networking, and Security pp 129–141Cite as

A typed Lambda Calculus of Objects

Extended abstract

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1179))

Abstract

In this paper, we present an explicitly typed version of the Lambda Calculus of Objects of [7], which is a development of the object-calculi defined in [10, 2]. This calculus supports object extension in presence of object subsumption. Extension is the ability of modify the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. This calculus has a sound and decidable type system, “width” subtyping, and it allows for first-class method bodies.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.

    Google Scholar 

  2. 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 

  3. G. Castagna. Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431–447, 1995.

    Article  Google Scholar 

  4. G. Castagna. Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science. Birkäuser, Boston, 1996.

    Google Scholar 

  5. G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. Information and Computation, 117(1): 115–135, 1995.

    Article  Google Scholar 

  6. G. Castagna and L. Liquori. Multi-methods in delegation-based object-oriented languages. Manuscript, 1996.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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 

  9. L. Liquori. An Extended Theory of Primitive Objects. Technical Report CS-23-96, Computer Science Department, Turin University, Italy, 1996.

    Google Scholar 

  10. J. C. Mitchell. Toward a Typed Foundation for Method Specialization and Inheritance. In Proc. of POPL, pages 109–124. The ACM Press, 1990.

    Google Scholar 

  11. J. Palsberg and T. Jim. Type Inference for Simple Object Types is NP-Complete. Manuscript, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento d'Informatica, Università di Torino C.so Svizzera 185, 10149, Torino, Italy

    Luigi Liquori

  2. CNRS, LIENS-DMI, École Normale Supérieure, 45 rue d'Ulm, 75005, Paris, France

    Giuseppe Castagna

Authors
  1. Luigi Liquori
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giuseppe Castagna
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joxan Jaffar Roland H. C. Yap

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liquori, L., Castagna, G. (1996). A typed Lambda Calculus of Objects. In: Jaffar, J., Yap, R.H.C. (eds) Concurrency and Parallelism, Programming, Networking, and Security. ASIAN 1996. Lecture Notes in Computer Science, vol 1179. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027786

Download citation

  • DOI: https://doi.org/10.1007/BFb0027786

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62031-0

  • Online ISBN: 978-3-540-49626-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation