[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