Data types are values
James Donahue, Alan J. Demers · ACM Transactions on Programming Languages and Systems · 1985
An important goal of programming language research is to isolate the fundamenal concepts of languages, those basic ideas that allow us to understand the relationships among various language features. This paper examines one of these underlying notions, that of data type , with particular attention to the treatment of generic or polymorphic procedures and static type-checking.