A Semantic Model of Types for Applicative Languages (1982)

by D B McQueen, R Sethi
Venue:In Symposium on LISP and Functional Programming. ACM