Abstract
Böhm's CuCh machine extends the pure lambda-calculus with algebraic data types and provides the possibility of defining functions over disjoint sums of algebras. We exploit such natural form of overloading to define a functional interpretation of a simple, but significant fragment of a typical objectoriented classbased language.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have