A semantic model of types for applicative languages (1982)

by D B MacQueen, Ravi Sethi
Venue:In ACM Symp. on LISP and Functional Programming