GitHub - inrick/Featherweight-Java: An attempt to implement the typing rules of Featherweight Java using Haskell.

inrick / Featherweight-Java Public

Notifications You must be signed in to change notification settings
Fork 3
Star 11

An attempt to implement the typing rules of Featherweight Java using Haskell.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
FJ		FJ
Example.java		Example.java
Main.hs		Main.hs
README		README

Repository files navigation

An attempt to implement the typing rules of Featherweight Java as specified in

[1] Igarashi, Pierce, Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. ACM Transactions on Programming Languages and Systems 2001.
    http://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf

Usage (requires GHC): runhaskell Main.hs <Featherweight Java file>

Known problems:
- m(e*) is seen as a valid expression.
- Circular class declarations will result in an infinite loop instead of an error.