Type checking and type inference for object-oriented programming languages

Inheritance is not subtyping

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A type system for Smalltalk

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Interfaces and specifications for the Smalltalk-80 collection classes

OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications

Benefits of type inference for an object-oriented real-time language

ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems

Contraint-based polymorphism in Cecil: towards a practical and static type system

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

A FAD for Data Intensive Applications

IEEE Transactions on Knowledge and Data Engineering

The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming

Practical, pluggable types

ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007

Practical, pluggable types for a dynamic language

Computer Languages, Systems and Structures