IRIS

CORRADI, ANDREA

CORRADI, ANDREA  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
A formal account of SSA in Java-like languages 1-gen-2016 Ancona, Davide; Corradi, Andrea
Computational thinking for beginners: A successful experience using Prolog 1-gen-2015 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Computational thinking for beginners: {A} successful experience using Prolog 1-gen-2015 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
DeepFJig: modular composition of nested classes 1-gen-2011 Corradi, Andrea; M., Servetto; Zucca, Elena
Semantic subtyping for imperative object-oriented languages 1-gen-2016 Ancona, Davide; Corradi, Andrea
Sound and complete subtyping between coinductive types for object-oriented languages 1-gen-2014 Ancona, Davide; Corradi, Andrea