Principle type schemes for functional programs (1982)

by L Damas, R Milner
Venue:in ‘9-th ACM Smyposium on Principles of Programming Languages’, ACM