Data Abstraction

Persistent First Class Procedures are Enough

Atkinson, M. P. and Morrison, R.[Joseph, M. and Shyamasundar, R. (ed)] (INCOLLECTION, 1984)

A Kernel Language for Modules and Abstract Data Types

R. Burstall and B. Lampson (TechReport, 1984)

On Understanding Types, Data Abstraction, and Polymorphism

Luca Cardelli and Peter Wegner (article, 1985)

Object-Oriented Programming Versus Abstract Data Types

William R. Cook[J. W. de Bakker and W. P. de Roever and G. Rozenberg (ed)] (InCollection, 1991)

Data Types Are Values

James Donahue and Alan Demers (article, 1985)

On the Problem of Uniform References to Data Structures

Charles M. Geschke and James G. Mitchell (article, 1975)

Early Experience with Mesa

Charles M. Geschke and James H. Morris Jr. and Edwin H. Satterthwaite (article, 1977)

Abstract Data Types and the Development of Data Structures

John Guttag (article, 1977)

Mutable Abstract Datatypes or How to Have Your State and Munge It Too

Paul Hudak (techreport, 1993)

Combining Type Classes and Existential Types

Läufer, K. (InProceedings, 1994)

Data Abstraction and Hierarchy

Barbara Liskov (inproceedings, 1987)

A History of CLU

Barbara Liskov (techreport, 1992)

Programming With Abstract Data Types

Barbara Liskov and Stephen Zilles (article, 1974)

Automatic Data Structure Selection: An Example and Overview

James R. Low (article, 1978)

Poly and Standard ML

David C. J. Matthews (article, 1985)

Abstract types have existential type

John C. Mitchell and Gordon D. Plotkin (inproceedings, 1985)

Programming Objects with ML-ART: An extension to ML with Abstract and Record Types

Didier R\'emy[Hagiya, Masami and Mitchell, John C. (ed)] (inproceedings, 1994)

GEDANKEN -- A Simple Typeless Language Based on the Principle of Completeness and the Reference Concept

John C.~Reynolds (article, 1970)

User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction

John C.~Reynolds[Carl A.~Gunter and John C.~Mitchell (ed)] (incollection, 1994)

ALPHARD: Form and Content

[Mary Shaw (ed)] (book, 1981)

Ada 9X: From Abstraction-Oriented to Object-Oriented

S.~Tucker Taft[Andreas Paepcke (ed)] (inproceedings, 1993)

Open Implementation Group, Xerox PARC

(misc, 1996)

Procedural Encapsulation: A Linguistic Protection Technique

Stephen N.~Zilles (article, 1973)