A Theory of Primitive Objects, Proceedings of Theoretical Aspect of Computer Software, pp.296-320, 1994. ,
A Calculus of Incomplete objects with Subtyping ,
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, Proceedings of International Conference of Computer Science Logic, 1995. ,
DOI : 10.1007/BFb0022244
URL : https://hal.archives-ouvertes.fr/hal-01157171
The Annotated C ++ Reference Manual, 1990. ,
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, Proceedings of FCT-95, 1995. ,
DOI : 10.1007/3-540-60249-6_40
Smalltalk-80, The Language and its Implementation, 1983. ,