A theory of primitive objects: second-order systems

Foundations of object-oriented languages

ACM SIGPLAN Notices

On subtyping and matching

ACM Transactions on Programming Languages and Systems (TOPLAS)

Objective ML: a simple object-oriented extension of ML

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Object Calculus and the Object-Oriented Analysis and Design of an Error-Sensitive GIS

Geoinformatica

Type inference with simple selftypes is NP-complete

Nordic Journal of Computing

Generics of a higher kind

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications