An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.
The original version of FJ is a semantics model which simplified the Java language, by Igarasi, Pierce, Wadler. [1]
Install OPAM into your system, and run the following commands.
opam switch 4.01.0 # require 4.01.0 or later
opam install ounit omake
opam install menhir # optional
omake
- Igarashi, Pierce, Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. ACM Transactions on Programming Languages and Systems 2001.
this repository is licensed under the MIT License