| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
Author  |
Bono, V.; Salvo, I. | ||||
| Title | A CuCh Interpretation of an Object-Oriented Language | Type | Journal Article | ||
| Year | 2001 | Publication | Electronic Notes in Theoretical Computer Science | Abbreviated Journal | |
| Volume | 50 | Issue | 2 | Pages | 159-177 |
| Keywords | |||||
| Abstract | 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. | ||||
| Address | |||||
| Corporate Author | Thesis | ||||
| Publisher | Elsevier | Place of Publication | Editor | ||
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Abbreviated Series Title | |||
| Series Volume | Series Issue | Edition | |||
| ISSN | ISBN | Medium | |||
| Area | Expedition | Conference | |||
| Notes | BOTH 2001, Bohm’s theorem: applications to Computer Science Theory (Satellite Workshop of ICALP 2001) | Approved | yes | ||
| Call Number | Sapienza @ mari @ Bono-Salvo:BOTH01 | Serial | 72 | ||
| Permanent link to this record | |||||