Type-directed specialization of polymorphism

Type inference with rank 1 polymorphism for type-directed compilation of ML

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming

Principal type specialisation

ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation

Automatic Type-Driven Library Generation for Telescoping Languages

Proceedings of the 2003 ACM/IEEE conference on Supercomputing

Avalanche-safe LINQ compilation

Proceedings of the VLDB Endowment