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

by J Mitchell
Venue:ACM Conference on LISP and Functional Programming