Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.

Atsushi Ohori, Nobuaki Yoshida

Browse the full ICFP paper archive.