Unifying overloading and λ-abstraction: λ{}

Theoretical Computer Science

Volumn 176, Issue 1-2, 1997, Pages 337-345

  Castagna, Giuseppe ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS; OBJECT ORIENTED PROGRAMMING; THEOREM PROVING;

OVERLOADED FUNCTIONS;

FORMAL LOGIC;

EID: 0031121667     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)81497-1     Document Type: Article

References (9)

1. H.P. Barendregt, The Lambda Calculus, Its Syntax and Semantics (North-Holland, Amsterdam, Revised ed., 1984).
2. K. Bruce, L. Cardelli and G. Castagna, The Hopkins object group, in: G. Leavens and B. Pierce, eds., On Binary Methods, Theory and Practice of Object Systems, Vol. 1 (Wiley, New York, 1996) 221-242.
3. G. Castagna, Overloading, subtyping and late binding: functional foundation of object-oriented programming, Ph.D. Thesis, Université Paris 7, 1994: appeared as LIENS Technical Report.
4. G. Castagna, Covariance and contravariance: conflict without a cause, ACM Trans. Programming Languages Systems 17 (3) (ACM Press, 1995) 431-447.
5. G. Castagna, A meta-language for typed object-oriented languages, Theoret. Comput. Sci. 151 (2) (1995) 297-352; extended abstract in: Proc. 13th Conf. on the Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Vol. 761 (Springer, Berlin, 1993).
6. G. Castagna, A meta-language for typed object-oriented languages, Theoret. Comput. Sci. 151 (2) (1995) 297-352; extended abstract in: Proc. 13th Conf. on the Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Vol. 761 (Springer, Berlin, 1993).
7. G. Castagna, G. Ghelli and G. Longo, A calculus for overloaded functions with subtyping, Inform. Comput. 117 (1) (1995) 115-135; a preliminary version was presented at the 1992 ACM Conf. on LISP and Functional Programming, San Francisco (1992).
8. G. Castagna, G. Ghelli and G. Longo, A calculus for overloaded functions with subtyping, Inform. Comput. 117 (1) (1995) 115-135; a preliminary version was presented at the 1992 ACM Conf. on LISP and Functional Programming, San Francisco (1992).
9. G. Castagna, Object-Oriented Programming: A Unified Foundation, Progress in Theoretical Computer Science (Birkäuser, Boston), to appear.