Operations on records
Luca Cardelli, John C. Mitchell · Lecture notes in computer science · 1991
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. We study a second-order type system over these operations, supporting both subtyping and polymorphism. Our approach unifies and extends previous notions of records, bounded quantification, record extension, and parametrization by row-variables. The general aim is to provide foundations for concepts found in object-oriented languages, within the framework of typed lambda-calculus.