This page contains some files related to the paper Stronger Typings for Separate Compilation of Java-like Languages (submitted for publication)

Here you can download the paper (bzipped) and the tar/bzipped prototype or the zipped one.

Hint: read the paper before even think of playing with the prototype ;-)

Any comment/suggestion is welcome; you can e-mail the authors: Davide Ancona or Giovanni Lagorio

Last update: Thursday, 28-Nov-2002 10:33:25 CET