Abstract, Journal of Functional Programming, vol.4, issue.02, pp.249-283, 1994. ,
DOI : 10.1016/S0019-9958(86)80019-5
A theory of primitive objects, Science of Computer Programming, vol.25, issue.2-3, pp.81-116, 1995. ,
DOI : 10.1016/0167-6423(95)00010-0
An Imperative Object Calculus. Theory and Practice of Objects Systems, pp.151-166, 1996. ,
DOI : 10.1007/3-540-59293-8_214
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4334
A Theory of Objects, 1996. ,
DOI : 10.1007/978-1-4419-8598-9
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
The Lambda Calculus: Its Syntax and Semantics, of Studies in Logic and the Foundations of Mathematics, 1984. ,
Matching constraints for the Lambda Calculus of Objects, Proc. of TLCA-97, 1997. ,
DOI : 10.1007/3-540-62688-3_28
Subtyping constraints for incomplete objects, Proc. of CAAP-97, 1997. ,
DOI : 10.1007/BFb0030619
URL : https://hal.archives-ouvertes.fr/hal-01154622
A Lambda Calculus of incomplete objects ,
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, Proc. of CSL-94, pp.16-30, 1995. ,
DOI : 10.1007/BFb0022244
URL : https://hal.archives-ouvertes.fr/hal-01157171
PolyTOIL, Proc. of ECOOP-95, pp.16-30, 1995. ,
DOI : 10.1145/641888.641891
A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing, vol.1, issue.1, pp.3-37, 1994. ,
The Development of Type Systems for Object Oriented Languages. Theory and Practice of Objects Systems, pp.189-220, 1995. ,
A delegation-based object calculus with subtyping, Proc. of FCT-95, pp.42-61, 1995. ,
DOI : 10.1007/3-540-60249-6_40
Smalltalk-80: The Language and its Implementation, 1983. ,
An Extended Theory of Primitive Objects, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-01154568
Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects, 1996. ,
URL : https://hal.archives-ouvertes.fr/tel-01157160
A typed Lambda Calculus of Objects, Proc. of Asian-96, pp.129-141, 1996. ,
DOI : 10.1007/BFb0027786
URL : https://hal.archives-ouvertes.fr/hal-01156547
A Structural Approach to Operational Semantics, 1981. ,
Refined Subtyping and Row Variables for Record Types, 1995. ,