1
TITLE: Principal Type-Schemes for Functional Programs
AUTHORS: Luís Damas ; Robin Milner;
PUBLISHED: 1982, SOURCE: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982
INDEXED IN: DBLP CrossRef