Type inference with rank 1 polymorphism for typedirected compilation of ML (1999)

by Atsushi Ohori, Nobuaki Yoshida
Venue:In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming