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

by J C Mitchell
Venue:In Proceedings of the LISP and Functional Programming Conference