CuCh machine extends pure lambda--calculus with algebraic data types and provides a the possibility of defining functions over the disjoint sum of algebras. We exploit such natural form of {\em overloading} to define a functional interpretation of a simple, but significant fragment of a typical object-oriented language.
A CuCh Interpretation of an Object-Oriented Language1 / V., Bono; Salvo, Ivano. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 50:(2001), pp. 159-177. (Intervento presentato al convegno Bohm's theorem: applications to Computer Science Theory tenutosi a Crete, Greece nel 13/7/2001) [10.1016/S1571-0661(04)00171-9].
A CuCh Interpretation of an Object-Oriented Language1
SALVO, Ivano
2001
Abstract
CuCh machine extends pure lambda--calculus with algebraic data types and provides a the possibility of defining functions over the disjoint sum of algebras. We exploit such natural form of {\em overloading} to define a functional interpretation of a simple, but significant fragment of a typical object-oriented language.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.