Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 7 di 7
Titolo Data di pubblicazione Autore(i) File
DeepFJig: modular composition of nested classes 1-gen-2011 Corradi, Andrea; M., Servetto; Zucca, Elena
DeepFJig — Modular composition of nested classes. 1-gen-2012 Corradi, Andrea; Marco, Servetto; Zucca, Elena
Sound and complete subtyping between coinductive types for object-oriented languages 1-gen-2014 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
A formal account of SSA in Java-like languages 1-gen-2016 Ancona, Davide; Corradi, Andrea
Semantic subtyping for imperative object-oriented languages 1-gen-2016 Ancona, Davide; Corradi, Andrea
Mostrati risultati da 1 a 7 di 7
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile