A Theory of Type Polymorphism (1978)

by R Milner, Robin
Venue:in Programming. JCSS 17