Principal Type Schemes for Functional Programs (0)

by L Damas, R Milner
Venue:p207, Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages