×

zbMATH — the first resource for mathematics

Data types are values. (English) Zbl 0566.68016
An important goal of programming language research is to isolate the fundamental 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.

MSC:
68P05 Data structures
PDF BibTeX XML Cite
Full Text: DOI Link