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

by A Ohori, N Yoshida
Venue:In International Conference on Functional Programming