[Grace-core] LOOJ and polymorphism

[Kim Bruce]

I just added my paper w/ Nate Foster on LOOJ to the background papers section (as LOOJ.pdf).  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