A type inference approach to reduction properties and semantics of polymorphic expressions (1990)

by J C Mitchell
Venue:Logical Foundations of Functionnal programming