Flexible types: robust type inference for first-class polymorphism.

Daan Leijen

Browse the full POPL paper archive.