The treatment of data types in EL1
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Mode modules as representations of domains: preliminary report
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
PASCAL user manual and report
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Abstract data types and the development of data structures
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Hints on programming language design.
Hints on programming language design.
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
ACM Transactions on Programming Languages and Systems (TOPLAS)
An object-oriented approach to database system implementation
ACM Transactions on Database Systems (TODS)
An Abstract Type for Statistics Collection in Simula
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data types as values: polymorphism, type-checking, encapsulation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Verification of Finite Iterations over Tuples of Data Structures
Programming and Computing Software
Designing and implementing an array theory incorporating abstract datatypes
APL '83 Proceedings of the international conference on APL
Implementing SMART for minicomputers via relational processing With abstract data types
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
The effect of modularization and comments on program comprehension
ICSE '81 Proceedings of the 5th international conference on Software engineering
ACM '78 Proceedings of the 1978 annual conference
A programmer controlled approach to data and control abstraction
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Data abstraction, controlled iteration, and communicating processes
ACM '80 Proceedings of the ACM 1980 annual conference
The A-TABLE data-type for LISP systems
ACM SIGPLAN Notices
Aspects of the ALGOL 68 mode structure
ACM SIGPLAN Notices
Abstract for-loops over several aggregates
Information Processing Letters
Generic procedures: An implementation and an undecidability result
Computer Languages
A high level data structure-The grid
Computer Languages
Computer Languages
| Hi-index | 48.22 |
A number of issues are explored concerning the notion that a data type is a set of values together with a set of primitive operations on those values. Among these are the need for a notation for iterating over the elements of any finite set (instead of the more narrow for i := 1 to n notation), the use of the domain of an array as a data type, the need for a simple notation for allowing types of parameters to be themselves parameters (but in a restrictive fashion), and resulting problems with conversion of values from one type to another.