Book chapter
OA Policy
English

A Comparison of Record- and Name- Calculi

ContributorsDami, Laurent
Published inTsichritzis, Dionysios (Ed.), Objects at large = Objets en liberté, p. 71-83
PublisherGenève : Centre universitaire d'informatique
Publication date1997-07
Abstract

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é. Tsichritzis, Dionysios (Ed.). Genève : Centre universitaire d’informatique, 1997. p. 71–83.
Main files (1)
Book chapter (Published version)
Identifiers
  • PID : unige:155396
126views
57downloads

Technical informations

Creation13/10/2021 10:17:00
First validation13/10/2021 10:17:00
Update16/03/2023 01:30:23
Status update16/03/2023 01:30:23
Last indexation31/10/2024 23:22:08
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack