featherweight-java

There are 1 repository under featherweight-java topic.

• ilyasergey / plt-redex-fj

  A PLT Redex implementation of Featherweight Java

  featherweight-javaplt-redexoperational-semantics
  Language:Racket 15

• takahisa / featherweight-java

  An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.

  featherweight-javaocamltype-system
  Language:OCaml 13