@Article{Bono+Salvo2001,
author="Bono, V.
and Salvo, I.",
title="A CuCh Interpretation of an Object-Oriented Language",
journal="Electronic Notes in Theoretical Computer Science",
year="2001",
publisher="Elsevier",
volume="50",
number="2",
pages="159--177",
abstract="CuCh machine extends pure lambda{\~A}‚{\^a}€“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.",
optnote="BOTH 2001, Bohm{\~A}{\textcent}{\^a}‚{\textlnot}{\^a}„{\textcent}s theorem: applications to Computer Science Theory (Satellite Workshop of ICALP 2001)",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=72), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
doi="10.1016/S1571-0661(04)00171-9",
opturl="http://www.sciencedirect.com/science/article/pii/S1571066104001719",
opturl="https://doi.org/10.1016/S1571-0661(04)00171-9",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Bono2001.pdf:PDF"
}