Pascal user manual and report; 3rd ed.
Pascal user manual and report; 3rd ed.
Communications of the ACM
Abstract data types and the development of data structures
Communications of the ACM
Some ideas on data types in high-level languages
Communications of the ACM
Communications of the ACM
Logic and programming languages
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Syntactic control of interference
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Making variables abstract: an equational theory for Russell
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data types, parameters and type checking
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
"Type-completeness" as a language principle
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
An Informal Description of Russell
An Informal Description of Russell
Proofs as Programs
An investigation of a programming language with a polymorphic type structure.
An investigation of a programming language with a polymorphic type structure.
A theory of data type representation independence
A theory of data type representation independence
Report on the programming language Euclid
ACM SIGPLAN Notices
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Constructive real interpretation of numerical programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Algebraic specification of Macintosh's Quickdraw using OBJ2
ICSE '88 Proceedings of the 10th international conference on Software engineering
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
Type inference in the presence of type abstraction
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Type-dependent parameter inference
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Generic instantiations as closures
ACM SIGAda Ada Letters
Compiling the polymorphic &lgr;-calculus
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A polymorphic functional language applied to symbolic computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Experiences developing and using an object-oriented library for program manipulation
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Orthogonal persistence and Ada
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Implementing signatures for C++
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exact real arithmetic: a case study in higher order programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Class-is-type is inadequate for object reuse
ACM SIGPLAN Notices
Using dependent types to express modular structure
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Parametric polymorphism for software component architectures
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Implementing signatures for C++
CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
| Hi-index | 0.00 |
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.