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