[TYPES] available JVM implementations

[Davide Ancona]

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" 
extended/modified.

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