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 Objects, 1996. ,
DOI : 10.1007/978-1-4419-8598-9
Matching constraints for the Lambda Calculus of Objects, TLCA'97, pp.46-62, 1997. ,
DOI : 10.1007/3-540-62688-3_28
Subtyping constraints for incomplete objects, CAAP'97, pp.465-477, 1997. ,
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
A language with distributed scope, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.27-59, 1995. ,
DOI : 10.1145/199448.199516
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: First order system, ECOOP'97, pp.146-169, 1997. ,
DOI : 10.1007/BFb0053378
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
Simple Word Problems in Universal Algebras, Computational Problems in Universal Algebras, pp.263-297, 1970. ,
DOI : 10.1007/978-3-642-81955-1_23
Pure type systems formalized, TLCA'93, pp.289-305, 1993. ,
DOI : 10.1007/BFb0037113
From classes to objects via subtyping, ESOP'98, 1998. ,
DOI : 10.1007/BFb0053572
Self: the Power of Simplicity, OOPSLA'87, pp.227-241, 1987. ,
Complete Type Inference for Simple Objects, LICS'87, pp.37-44, 1987. ,