Records

A Semantics of Multiple Inheritance

Luca Cardelli[G. Kahn and D.B. MacQueen and G. Plotkin (ed)] (inproceedings, 1984)

Operations on Records

Luca Cardelli and John C. Mitchell (incollection, 1994)

A Comparison of Record- and Name-Calculi

Laurent Dami[D. Tsichritzis (ed)] (incollection, 1997)

A Polymorphic Type System for Extensible Records and Variants

Benedict R. Gaster and Mark P. Jones (techreport, 1996)

Polymorphic Extensible Records for Haskell

Benedict R. Gaster (inproceedings, 1997)

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

[Carl A. Gunter and John C. Mitchell (ed)] (book, 1994)

Record Handling

C. A. R. Hoare[F. Genuys (ed)] (incollection, 1968)

A prototype implementation of extensible records for Hugs

Mark P. Jones (misc, 1997)

A Polymorphic Language With First-Class Modules

John Ophel (article, 1995)

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)

Typing Record Concatenation for Free

Didier R\'emy (inproceedings, 1992)

A Generalized Technique for Symbol Manipulation and Numerical Calculation

Douglas T.~Ross (article, 1961)

A Contribution to the Development of ALGOL

Niklaus Wirth and C.~A.~R.~Hoare (article, 1966)