Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
Fen—an axiomatic basis for program semantics
Communications of the ACM
Mechanical construction of type-checking predicates for extensible data types
ACM '74 Proceedings of the 1974 annual conference - Volume 1
A graded bibliography on macro systems and extensible languages
ACM SIGPLAN Notices
Hi-index | 0.02 |
Definition mechanisms for extensible programming languages, in principle, allow variation of the language definition in various directions: data types, operations, control structure and syntax. We will focus our attention here on the definitional capabilities that one might expect from a data type extension mechanism. First, we will define informally what the nature of a data type is, what kind of information it contains. Then, we will discuss the most classical approach for data type definition in extensible languages. Finally, we will sketch a model for a mechanism which would permit to introduce really new data types in a language.