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
-
Notifications
You must be signed in to change notification settings - Fork 2
ilyasergey/plt-redex-fj
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A PLT Redex implementation of Featherweight Java
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published