Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Donahue et al. (1985) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: