A semantic model of types for applicative languages (1982)

by MAC QUEEN, D, R SETHI
Venue:In Proceedings of the ACM Conference on Lasp and Functional Programmmg