DARTS.2.1.6.pdf
- Filesize: 320 kB
- 2 pages
7d8cefecd0152cd0fe7291df3cd709f9
(Get MD5 Sum)
This artifact is a PLT Redex implementation of the operational semantics presented in Object Inheritance Without Classes. It defines the core syntax and runtime semantics of the Graceless language, and then extends it in multiple different ways to produce the various implementations of object inheritance, including single and multiple inheritance. The implementation makes the semantics runnable, and precisely defines some behaviour which is defined informally in the paper.
Feedback for Dagstuhl Publishing