[Grace-core] LOOJ and polymorphism

[Kim Bruce]

Sorry, I had accidentally placed a link to the paper rather than the paper itself.  It should be fixed now.

Kim



On Sep 4, 2012, at 5:20 AM, James Noble wrote:

> Hi Kim
> 
>> I just added my paper w/ Nate Foster on LOOJ to the background papers section (as LOOJ.pdf).
> 
> I just tried to look at that file but it isn't recognized as a pdf or ps file.
> 
> Can you check it?
> 
> James 
> 
>> Section 4 describes our implementation of type variables in the LOOJ compiler (a modification of the Java compiler).  The ideas for reifying type parameters as instance variables is pretty straightforward.  The rest of the paper describes the type system.  All in all, it should be helpful in figuring out generics.
>> 
>> Kim
>> 
>> 
>> 
>> _______________________________________________
>> Grace-core mailing list
>> Grace-core at cecs.pdx.edu
>> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core
>