ASG list of publications


Laurent Dami , "A Comparison of Record- and Name-Calculi", July, 1997


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 "lambda-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.


Author = "Laurent Dami ",
Title = "A Comparison of Record- and Name-Calculi",
Key = "osg osg-ftp tr97.4 lambda-calculus",
Notes = "",
Month = "July",
Year = "1997"
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.