JEff: An object-oriented language with built-in effects
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
jeff-concrete-syntax
jeff-semantics
jeff-translator
.gitignore
README.md

README.md

JEff: An object-oriented language with built-in effects

This repository contains a PLT Redex implementation of the dynamic and static semantics of Featherweight JEff (FJEff), the core calculus for JEff, and a Rascal translator from JEff syntax to PLT Redex code, in order to aid the execution of FJEff programs.