GIACHINO, Elena
Dettaglio
GIACHINO, Elena
Pubblicazioni
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.001 secondi).
Titolo | Data di pubblicazione | Autore(i) | |
---|---|---|---|
1 | A State Abstraction for Coordination in Java-like Languages | 2006 | F. DAMIANI; E. GIACHINO; P. GIANNINI; N. CAMERON; S. DROSSOPOULOU |
2 | A type safe state abstraction for coordination in Java -like languages | 2008 | Ferruccio Damiani; Elena Giachino; Paola Giannini; Sophia Drossopoulou |
3 | Alias Types and Effects for "Environment-aware" Computations. | 2008 | Ferruccio Damiani; Elena Giachino; Paola Giannini |
4 | Amalgamating Sessions and Methods in Object Oriented Languages with Generics | 2009 | Sara Capecchi; Mario Coppo; Mariangiola Dezani; Sophia Drossopoulou; Elena Giachino |
5 | Bounded Session Types for Object-Oriented Languages | 2007 | M. DEZANI; E. GIACHINO; S. DROSSOPOULOU; N. YOSHIDA |
6 | Deriving Session and Union Types for Objects | 2013 | L. Bettini; S. Capecchi; Mariangiola Dezani; E. Giachino; B. Venneri |
7 | Featherweight Wrap Java | 2007 | L. BETTINI; S. CAPECCHI; E. GIACHINO |
8 | Featherweight Wrap Java: wrapping objects and methods | 2008 | L. BETTINI; S. CAPECCHI; E. GIACHINO |
9 | Foundations of Session Types | 2009 | Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca |
10 | Foundations of Session Types: 10 Years Later | 2019 | Giuseppe Castagna, Mariangiola Dezani, Elena Giachino, Luca Padovani |
11 | Global escape in multiparty sessions | 2016 | Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko |
12 | On state classes and their dynamic semantics | 2006 | F. Damiani;E. Giachino;P. Giannini;E. Cazzola |
13 | On State Classes and Their Dynamic Semantics | 2008 | Ferruccio Damiani; Elena Giachino; Paola Giannini; Emanuele Cazzola |
14 | On Traits and Types in a Java-like Setting | 2008 | Viviana Bono; Ferruccio Damiani; Elena Giachino |
15 | Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse | 2007 | V. BONO; F. DAMIANI; E. GIACHINO |
16 | Session and Union Types for Object Oriented Programming | 2008 | Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani; Elena Giachino; Betti Venneri |