%0 Journal Article
%T A CuCh Interpretation of an Object-Oriented Language
%A Bono, V.
%A Salvo, I.
%J Electronic Notes in Theoretical Computer Science
%D 2001
%V 50
%N 2
%I Elsevier
%F Bono+Salvo2001
%O BOTH 2001, Bohm’s theorem: applications to Computer Science Theory (Satellite Workshop of ICALP 2001)
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=72), last updated on Thu, 22 Nov 2012 14:59:18 +0100
%X 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.
%R 10.1016/S1571-0661(04)00171-9
%U http://www.sciencedirect.com/science/article/pii/S1571066104001719
%U http://mclab.di.uniroma1.it/publications/papers/papers/Bono2001.pdf
%U https://doi.org/10.1016/S1571-0661(04)00171-9
%P 159-177