Principal Type-Schemes for Functional Programs

Authors: Luís Damas, Robin Milner - ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 1982 cited by 1,096

the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of its publication and date appear, and notice is given