TY  - JOUR
AU  - Bono, V.
AU  - Salvo, I.
PY  - 2001
DA  - 2001//
TI  - A CuCh Interpretation of an Object-Oriented Language
JO  - Electronic Notes in Theoretical Computer Science
SP  - 159
EP  - 177
VL  - 50
IS  - 2
PB  - Elsevier
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.
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Bono2001.pdf
UR  - http://www.sciencedirect.com/science/article/pii/S1571066104001719
UR  - https://doi.org/10.1016/S1571-0661(04)00171-9
DO  - 10.1016/S1571-0661(04)00171-9
N1  - BOTH 2001, Bohm’s theorem: applications to Computer Science Theory (Satellite Workshop of ICALP 2001)
ID  - Bono+Salvo2001
ER  -