DIBRIS
Lauree Ingegneria Biomedica
Lauree Ingegneria Informatica
Laurea Robotica
Lauree Informatica
Dottorato Informatica
AulaWeb
UniGe
CoFJ: a protototype implementation of Corecursive Featherweight Java with Coinductive Logic Programming
Download the translator (jar files)
cofj.zip
