Book chapter
Open access

A Comparison of Record- and Name- Calculi

ContributorsDami, Laurent
Published inObjects at large = Objets en liberté, Editors Tsichritzis, Dionysios, p. 71-83
PublisherGenève : Centre universitaire d'informatique
Publication date1997-07

This paper compares several lambda-calculi extended with records and/or operations on names. An operational semantics framework based on the observation of error generation is used to formalize (in)equational laws about record operation in a common setting. The calculi studied here are classified in two clearly distinct groups. The richest structure is exhibited by both the calculus of extensible records and the "λ-calculus with names", which are closely related but not equivalent. By contrast the calculi of record concatenation and weak record extension have a simpler structure, and in particular do not support width subsumption (the fact that a record with more fields can replace a record with fewer fields); both can be translated into the former calculi.

Citation (ISO format)
DAMI, Laurent. A Comparison of Record- and Name- Calculi. In: Objects at large = Objets en liberté. Genève : Centre universitaire d’informatique, 1997. p. 71–83.
Main files (1)
Book chapter (Published version)
  • PID : unige:155396

Technical informations

Creation10/13/2021 10:17:00 AM
First validation10/13/2021 10:17:00 AM
Update time03/16/2023 1:30:23 AM
Status update03/16/2023 1:30:23 AM
Last indexation08/31/2023 1:59:17 AM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack