Standard ML Proposal. Polymorphism: The ML/LCF/Hope Newsletter (1984)

by R Milner