VENNERI, Battistina
VENNERI, Battistina
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.018 secondi).
A typed lambda calculus with intersection types
2008-01-01 V. BONO; B. VENNERI; L. BETTINI
Deriving Session and Union Types for Objects
2013-01-01 L. Bettini; S. Capecchi; Mariangiola Dezani; E. Giachino; B. Venneri
Double Dispatch in C++
2006-01-01 L. BETTINI; S. CAPECCHI; B. VENNERI
Featherweight Java with Multi-Methods
2007-01-01 L. BETTINI; S. CAPECCHI; B. VENNERI
MoMi - A Calculus for Mobile Mixins
2005-01-01 L. BETTINI; V. BONO; B. VENNERI
Object Reuse and Behavior Adaptation in Java-like Languages
2011-01-01 Lorenzo Bettini; Betti Venneri
Translating Double-Dispatch into Single-Dispatch
2005-01-01 Lorenzo Bettini; Sara Capecchi; Betti Venneri
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A typed lambda calculus with intersection types | 2008 | V. BONO; B. VENNERI; L. BETTINI | |
| Deriving Session and Union Types for Objects | 2013 | L. Bettini; S. Capecchi; Mariangiola Dezani; E. Giachino; B. Venneri | |
| Double Dispatch in C++ | 2006 | L. BETTINI; S. CAPECCHI; B. VENNERI | |
| Featherweight Java with Multi-Methods | 2007 | L. BETTINI; S. CAPECCHI; B. VENNERI | |
| MoMi - A Calculus for Mobile Mixins | 2005 | L. BETTINI; V. BONO; B. VENNERI | |
| Object Reuse and Behavior Adaptation in Java-like Languages | 2011 | Lorenzo Bettini; Betti Venneri | |
| Translating Double-Dispatch into Single-Dispatch | 2005 | Lorenzo Bettini; Sara Capecchi; Betti Venneri |