A Semantic Model of Types for Applicative Languages

David B. MacQueen, Ravi Sethi. A Semantic Model of Types for Applicative Languages. In Symposium on LISP and Functional Programming. pages 243-252, 1982.

Abstract

Abstract is missing.