The system f of variable types, 15 years later

Bridging the gulf: a common intermediate language for ML and Haskell

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

Dynamic typing as staged type inference

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

Constructed product result analysis for Haskell

Journal of Functional Programming

Practical type inference for arbitrary-rank types

Journal of Functional Programming

A history of Haskell: being lazy with class

Proceedings of the third ACM SIGPLAN conference on History of programming languages

Scrap Your Type Applications

MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction