Coherence of subsumption, minimum typing and type-checking in F≤

Positive subtyping

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Local type inference

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Once upon a polymorphic type

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

Local type inference

ACM Transactions on Programming Languages and Systems (TOPLAS)

Type destructors

Information and Computation - FOOL V

Type systems

Programming methodology

Intersection types and bounded polymorphism

Mathematical Structures in Computer Science

It Is Time to Mechanize Programming Language Metatheory

Verified Software: Theories, Tools, Experiments

Subtyping first-class polymorphic components

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems