A study of semantics, types and languages for databases and object-oriented programming

Static type inference for parametric classes

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications

A simple semantics for ML polymorphism

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture

A compilation method for ML-style polymorphic record calculi

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The logic of demand in Haskell

Journal of Functional Programming

A simple semantics for polymorphic recursion

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems