• Home
  1. Home
  2. A Comparison of Record- and Name- Calculi
Book chapter
OA Policy
English

A Comparison of Record- and Name- Calculi

Contributors

Dami, Laurent

Published in

Tsichritzis, Dionysios (Ed.), Objects at large = Objets en liberté, p. 71-83

Publisher

Genève : Centre universitaire d'informatique

Publication date

1997-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.

UNIGE affiliation entities

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)
CC BY

Identifiers

  • PID : unige:155396
133views
80downloads

Technical informations

Creation

13/10/2021 10:17:00

First validation

13/10/2021 10:17:00

Update

16/03/2023 01:30:23

Status update

16/03/2023 01:30:23

Last indexation

31/10/2024 23:22:08
All rights reserved by Archive ouverte UNIGE and the University of Geneva
OpenAIRE Indexed & Validated