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

by John C Mitchell
Venue:In 1986 Symposium on LISP and Functional Programming