PT Journal
AU Bono, V
   Salvo, I
TI A CuCh Interpretation of an Object-Oriented Language
SO Electronic Notes in Theoretical Computer Science
PY 2001
BP 159
EP 177
VL 50
IS 2
DI 10.1016/S1571-0661(04)00171-9
AB 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 overloading to define a functional interpretation of a simple, but significant fragment of a typical object-oriented language.
ER