Semi-explicit first-class polymorphism for ML

Colored local type inference

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Environment classifiers

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Partially Typed Terms between Church-Style and Curry-Style

TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics

MLF: raising ML to the power of system F

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming

An extension of HM(X) with bounded existential and universal data-types

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming

Quantified types in an imperative language

ACM Transactions on Programming Languages and Systems (TOPLAS)

Boxy types: inference for higher-rank types and impredicativity

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming

MetaOCaml server pages: web publishing as staged computation

Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004

Practical type inference for arbitrary-rank types

Journal of Functional Programming

A type directed translation of MLF to system F

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming

HMF: simple type inference for first-class polymorphism

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

FPH: first-class polymorphism for Haskell

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

Flexible types: robust type inference for first-class polymorphism

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

Recasting MLF

Information and Computation

QML: explicit first-class polymorphism for ML

Proceedings of the 2009 ACM SIGPLAN workshop on ML

A certified implementation of ML with structural polymorphism

APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems

Expansion for universal quantifiers

ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems