Principal type schemes for functional programs (1982)

by L Damas, R Milner
Venue:in ``Proceedings, 9th Annual ACM Symposium on Principles of Programming Languages