[TYPES] available JVM implementations

Davide Ancona davide at disi.unige.it
Tue Apr 24 05:33:34 EDT 2007

Dear all,
together with some colleagues involved in a national Italian project 
(EOS-DUE http://bart.disi.unige.it/EOS2/www_static_pages/index.html)
we are working on changes/extensions to the JVM architecture which have 
a quite strong impact on dynamic typechecking, and since we would like 
to build a prototype to experiment with, any useful pointer to, and 
comments on already available JVM implementations is welcome.
The ideal implementation we are looking for has not to be necessarily 
complete, but, rather, well documented and suited to be "easily" 

Many thanks in advance,
Davide Ancona

Davide Ancona         | phone:  ++39 (010) 353 6636
DISI                  | fax:    ++39 (010) 353 6699
Universita' di Genova | e-mail: davide at disi.unige.it
Via Dodecaneso, 35    | ftp:    ftp.disi.unige.it/person/AnconaD
16146 Genova, Italy   | www:    http://www.disi.unige.it/person/AnconaD

More information about the Types-list mailing list