idra.di.unito.it is a machine hosted at Dipartimento di Informatica of Universitą di Torino.

idra.di.unito.it hosts information about research projects and collaborative devlopment project tools that involve members of the research group on Semantics of programming languages.