[TYPES] implementations of fj (Featherweight Java)
Matthias Felleisen
matthias at ccs.neu.edu
Thu Aug 16 21:52:46 EDT 2007
A Redex model of ClassicJava is available from PLT Scheme's PLaneT
web repository. Its a direct specification of reduction rules plus a
type checker in the usual recursive style. Cut it back and you have
FJ. -- Matthias
On Aug 16, 2007, at 4:52 PM, Bahman Sistany wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/
> types-list ]
>
> Dear Colleagues,
>
> I am wondering if complete/usable implementations of fj
> (Featherweight Java) and perhaps fgj (Featherweight Generic Java)
> exist that are easy to extend/experiment with, preferably in Java
> and/or Haskell. I have already found a few implementations but
> rather than go through each of these I thought I'd ask around on
> this list first.
>
> Regards,
> Bahman
>
>
>
>
>
> Be smarter than spam. See how smart SpamGuard is at giving
> junk email the boot with the All-new Yahoo! Mail at http://
> mrd.mail.yahoo.com/try_beta?.intl=ca
>
More information about the Types-list
mailing list