Data types as values: polymorphism, type-checking, encapsulation

Authors:
Alan Demers;James Donahue;Glenn Skinner
Affiliations:
Cornell University, Ithaca, N.Y.;Cornell University, Ithaca, N.Y.;Cornell University, Ithaca, N.Y.
Venue:
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Year:
1978

Citing 11
Cited 11

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
Abstraction mechanisms in CLU

Communications of the ACM
An experimental evaluation of data type conventions

Communications of the ACM
Logic and programming languages

Communications of the ACM
PASCAL user manual and report

PASCAL user manual and report
A Theory of Programming Language Semantics

A Theory of Programming Language Semantics
Abstract types defined as classes of variables

Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Visibility and types

Proceedings of the 1976 conference on Data : Abstraction, definition and structure
On the Semantics of "Data Type"

On the Semantics of "Data Type"
Report on the programming language Euclid

ACM SIGPLAN Notices

Abstract types have existential type

ACM Transactions on Programming Languages and Systems (TOPLAS)
Refined types: highly differentiated type systems and their use in the design of intermediate languages

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Abstract types have existential types

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Theseus—a programming language for relational databeses

ACM Transactions on Database Systems (TODS)
The Expressiveness of Simple and Second-Order Type Structures

Journal of the ACM (JACM)
High level programming for distributed computing

Communications of the ACM
Data types, parameters and type checking

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program checking

SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Predicting the effects of optimization on a procedure body

SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
A data definition facility based on a value-oriented storage model

IBM Journal of Research and Development
Comparing approaches to generic programming in Haskell

SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming

Quantified Score

Hi-index	0.02

Visualization

Abstract

This paper describes a novel approach to the treatment of data types in programming languages, which allows a simple interpretation of "polymorphic" or "generic" procedures, makes a simple set of type-checking rules semantically justifiable and provides a straightforward treatment of encapsulation.