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

by J Mitchell
Venue:In : 1986 Symposium on LISP and Functional Programming, pp