Developed with purely educational goals as an exercise in PLT Redex.
Contains a reduction semantics for FJ, type-checking rules and a number of tests.
Implementation:
See sources/fj.rkt
A PLT Redex implementation of Featherweight Java
Developed with purely educational goals as an exercise in PLT Redex.
Contains a reduction semantics for FJ, type-checking rules and a number of tests.
Implementation:
See sources/fj.rkt
A PLT Redex implementation of Featherweight Java