Abstract, Journal of Functional Programming, vol.4, issue.02, pp.249-283, 1994. ,
DOI : 10.1016/S0019-9958(86)80019-5
On Subtyping and Matching, ECOOP'95, pp.145-167, 1995. ,
A Theory of Primitive Objects: Untyped and First-Order Systems, Information and Computation, vol.125, issue.2, pp.78-102, 1996. ,
DOI : 10.1006/inco.1996.0024
Matching constraints for the Lambda Calculus of Objects, TLCA'97, 1997. ,
DOI : 10.1007/3-540-62688-3_28
Subtyping constraints for incomplete objects, 1996. ,
DOI : 10.1007/BFb0030619
URL : https://hal.archives-ouvertes.fr/hal-01154622
A Lambda Calculus of incomplete objects, MFCS'96, pp.218-229, 1996. ,
DOI : 10.1007/3-540-61550-4_150
URL : https://hal.archives-ouvertes.fr/hal-01156555
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, CSL'94, pp.16-30, 1995. ,
DOI : 10.1007/BFb0022244
URL : https://hal.archives-ouvertes.fr/hal-01157171
Abstract, Journal of Functional Programming, vol.21, issue.02, pp.127-206, 1994. ,
DOI : 10.1145/382192.383004
A semantics of multiple inheritance, Information and Computation, vol.76, issue.2-3, pp.138-164, 1988. ,
DOI : 10.1016/0890-5401(88)90007-7
Operations on records, Mathematical Structures in Computer Science, vol.1, issue.01, pp.3-48, 1991. ,
DOI : 10.1016/0022-0000(78)90014-4
On understanding types, data abstraction, and polymorphism, ACM Computing Surveys, vol.17, issue.4, pp.471-522, 1985. ,
DOI : 10.1145/6041.6042
Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.125-135, 1990. ,
DOI : 10.1145/96709.96721
A Denotational Semantics of Inheritance, 1989. ,
A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing, vol.1, issue.1, pp.3-37, 1994. ,
A delegation-based object calculus with subtyping, FCT'95, pp.42-61, 1995. ,
DOI : 10.1007/3-540-60249-6_40
Smalltalk-80, The Language and its Implementation, 1983. ,
A framework for defining logics, Journal of the ACM, vol.40, issue.1, pp.143-184, 1993. ,
DOI : 10.1145/138027.138060
An Extended Theory of Primitive Objects, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-01154568
A typed Lambda Calculus of Objects, Asian'96, pp.129-141, 1996. ,
DOI : 10.1007/BFb0027786
URL : https://hal.archives-ouvertes.fr/hal-01156547
Refined Subtyping and Row Variables for Record Types. Draft Self: the Power of Simplicity, OOPSLA'87, pp.227-241, 1987. ,
Complete Type Inference for Simple Objects, LICS'87, pp.37-44, 1987. ,