Principal type-schemes for functional programs (1982)

by L Damas, R Milner
Venue:In Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages