A Theory of Primitive Objects. Manuscript, Proc. Theoretical Aspect of Computer Software, pp.296-320, 1994. ,
Some Remarks on Lambda Calculus of Objects, Dipartimento di Matematica ed Informatica, 1994. ,
A type declaration and inference system for smalltalk, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, pp.133-141, 1982. ,
DOI : 10.1145/582153.582168
The Annotated C ++ Reference Manual, 1990. ,
A Lambda Calculus of Objects and Method Specialization, Proc. 8th Annual IEEE Symposium on Logic in Computer Science, pp.26-38, 1993. ,
A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing, vol.1, issue.1, pp.3-37, 1994. ,
Notes on typed object-oriented programming, Proc. Theoretical Aspect of Computer Software, pp.844-885, 1994. ,
DOI : 10.1007/3-540-57887-0_128