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