On Subtyping and Matching, Proc. of ECOOP, pp.145-167, 1995. ,
DOI : 10.1007/3-540-49538-X_8
A Theory of Objects, 1996. ,
DOI : 10.1007/978-1-4419-8598-9
Some Remarks on Lambda Calculus of Objects, Dipartimento di Matematica ed Informatica, 1994. ,
Matching constraints for the Lambda Calculus of Objects, Proc. of TLCA, pp.46-62, 1997. ,
DOI : 10.1007/3-540-62688-3_28
Subtyping constraints for incomplete objects, Proc. of TAPSOFT/CAAP, pp.465-477, 1997. ,
DOI : 10.1007/BFb0030619
URL : https://hal.archives-ouvertes.fr/hal-01154622
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, Proc. of CSL, pp.16-30, 1995. ,
DOI : 10.1007/BFb0022244
URL : https://hal.archives-ouvertes.fr/hal-01157171
The Hopkins Object Group, G. Leavens, and B. Pierce. On Binary Methods, Theory and Practice of Object Systems, vol.1, issue.3, 1996. ,
Abstract, Journal of Functional Programming, vol.21, issue.02, pp.127-206, 1994. ,
DOI : 10.1145/382192.383004
PolyTOIL, Proc. of ECOOP, pp.16-30, 1995. ,
DOI : 10.1145/641888.641891
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
Covariance and contravariance: conflict without a cause, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.431-447, 1995. ,
DOI : 10.1145/203095.203096
Object-Oriented Programming: A Unified Foundation, Progress in Theoretical Computer Science. Birkäuser, 1996. ,
DOI : 10.1007/978-1-4612-4138-6
A Calculus for Overloaded Functions with Subtyping, Information and Computation, vol.117, issue.1, pp.115-135, 1995. ,
DOI : 10.1006/inco.1995.1033
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.9332
Type System for Object-Oriented Programming Languages, 1996. ,
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. of TACS, pp.844-885, 1994. ,
DOI : 10.1007/3-540-57887-0_128
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.7962
A delegation-based object calculus with subtyping, Proc. of FCT, pp.42-61, 1995. ,
DOI : 10.1007/3-540-60249-6_40
Smalltalk-80: the Language and its Implementation, 1983. ,
Polymorphic type inference, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '83, pp.88-98, 1983. ,
DOI : 10.1145/567067.567077
Bounded Polymorphism for Extensible Objects, 1996. ,
DOI : 10.1007/3-540-48167-2_11
URL : https://hal.archives-ouvertes.fr/hal-01153827
An extended Theory of Primitive Objects: First order system, Proc. of ECOOP, pp.146-169, 1997. ,
DOI : 10.1007/BFb0053378
URL : https://hal.archives-ouvertes.fr/hal-01154568
A typed Lambda Calculus of Objects, Proc. of Asian, pp.129-141, 1996. ,
DOI : 10.1007/BFb0027786
URL : https://hal.archives-ouvertes.fr/hal-01156547
Object-Oriented programming in the Beta programming language, 1993. ,
Teoremi di Congruenza per Lambda-Calcoli Orientati agli Oggetti, Italian, 1993. ,
Efficient Inference of Object Types, Proc. of LICS, pp.186-195, 1993. ,
Type Inference for Simple Object Types is NP-Complete, Nordic Journal of Computing, 1997. ,
A structural approach to operational semantics, 1981. ,
From classes to objects via subtyping, Proc. of ESOP, 1998. ,
DOI : 10.1007/BFb0053572
Privacy via Subsumption, Electronic proceedings of FOOL-98, 1998. ,
DOI : 10.1006/inco.2000.2925
Comparing cubes of typed and type assignment systems, Annals of Pure and Applied Logic, vol.86, issue.3, pp.267-303, 1997. ,
DOI : 10.1016/S0168-0072(96)00036-X
URL : https://hal.archives-ouvertes.fr/hal-01154638