[TYPES] implementations of fj (Featherweight Java)

[Bahman Sistany]

Thanks Andreas and everyone for your help. I may still do my own in which case I will report it back to this list for sure.

--Bahman

----- Original Message ----
From: Andreas Abel <andreas.abel at ifi.lmu.de>
To: Bahman Sistany <bsistany at yahoo.ca>
Cc: types-list at lists.seas.upenn.edu
Sent: Friday, August 17, 2007 5:29:20 AM
Subject: Re: [TYPES] implementations of fj (Featherweight Java)

Dear Bahman,

here is a Haskell implementation of fj.  Compilation requires ghc.

Cheers,
Andreas

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
> 
> 


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
http://www.tcs.informatik.uni-muenchen.de/~abel/





      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