Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 188
Titolo Data di pubblicazione Autore(i) File
Alias types for “environment-aware” computations 2003 Ferruccio Damiani; Paola Giannini
A conjunctive type system for useless-code elimination 2003 F. DAMIANI
Rank 2 intersection types for modules 2003 F. DAMIANI
Rank 2 intersection types for local definitions and conditional expressions 2003 F. DAMIANI
Refined Effects for Unanticipated Object Re-classification: Fickle3 2003 F. DAMIANI; SOPHIA DROSSOPOULOU; PAOLA GIANNINI
On Re-classification and Multithreading 2004 FERRUCCIO DAMIANI; MARIANGIOLA DEZANI-CIANCAGLINI; PAOLA GIANNINI
Re-classification and multithreading: FickleMT 2004 FERRUCCIO DAMIANI; MARIANGIOLA DEZANI-CIANCAGLINI; PAOLA GIANNINI
Even more principal typings for Java-like languages 2004 D. ANCONA; F. DAMIANI; S. DROSSOPOULOU; E. ZUCCA
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers 2004 S. BERARDI; M. COPPO; F. DAMIANI
Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004) 2005 M. COPPO; F. DAMIANI
Polymorphic bytecode: Compositional compilation for java-like languages 2005 Ancona, Davide; Drossopoulou, Sophia; Damiani, Ferruccio; Zucca, Elena
Polymorphic Bytecode: Compositional Compilation for Java-like Languages 2005 DAVIDE ANCONA; FERRUCCIO DAMIANI; SOPHIA DROSSOPOULOU; ELENA ZUCCA
Rank-2 Intersection and Polymorphic Recursion 2005 F. DAMIANI
On state classes and their dynamic semantics 2006 F. Damiani;E. Giachino;P. Giannini;E. Cazzola
A State Abstraction for Coordination in Java-like Languages 2006 F. DAMIANI; E. GIACHINO; P. GIANNINI; N. CAMERON; S. DROSSOPOULOU
Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse 2007 V. BONO; F. DAMIANI; E. GIACHINO
A provenly correct translation of Fickle into Java 2007 D. ANCONA; C. ANDERSON; F. DAMIANI; S. DROSSOPOULOU; P. GIANNINI; E. ZUCCA
Rank 2 Intersection for Recursive Definitions 2007 F. DAMIANI
On Polymorphic Recursion, Type Systems, and Abstract Interpretation 2008 Marco Comini; Ferruccio Damiani; Samuel Vrech
A type safe state abstraction for coordination in Java -like languages 2008 Ferruccio Damiani; Elena Giachino; Paola Giannini; Sophia Drossopoulou
Mostrati risultati da 21 a 40 di 188
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