[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