On Understanding Types, Data Abstraction, and Polymorphism
01 January 1985
Our objective is to understand the notion of type in programming languages, to present a model of typed, polymorphic, programming languages that reflects recent research in type theory, and to examine the relevance of recent research to the design of practical programming languages.