Principal type-schemas for functional programs (1982)

by Luis Damas, Robin Milner
Venue:In Proc. Symp. Principles of Programming Languages