Sfoglia per Autore
Principal Type Schemes and Lambda Calculus Semantics
1980 M. Dezani-Ciancaglini; M. Coppo; B. Venneri
Functional Characters of Solvable Terms
1981 M. Dezani-Ciancaglini; M. Coppo; B. Venneri
Principal type schemes for an extended type theory
1984 S. Ronchi Della Rocca; B. Venneri
Partial Types and Intervals
1990 M. Dezani-Ciancaglini; B. Venneri
Intersection Types as Logical Formulae
1994 B. Venneri
The ``Relevance'' of Intersection and Union Types
1997 M. Dezani-Ciancaglini; S. Ghilezan; B. Venneri
Types for Access Control
2000 R. PUGLIESE; R. DE NICOLA; G. FERRARI; B. VENNERI
Hyperformulae, Paralle Deductions and Intersection Types
2001 CAPITANI B.; M. LORETI; VENNERI B.
Towards Object-Oriented Klaim
2002 L. Bettini; V. Bono; B. Venneri
Coordinating Mobile Object-Oriented Code
2002 Bettini, Lorenzo; Bono, V.; Venneri, Battistina
Extending Java to dynamic object behaviors
2003 L. Bettini; S. Capecchi; B. Venneri
On Multiple Inheritance in Java.
2003 L. BETTINI; M. LORETI; B. VENNERI
Subtyping Mobile Classes and Mixins
2003 Bettini, L.; Bono, V.; Venneri, B.
The Klaim Project: Theory and Practice
2003 Bettini, Lorenzo; Bono, V.; DE NICOLA, R.; Ferrari, G.; Gorla, D.; Loreti, Michele; Moggi, E.; Pugliese, Rosario; Tuosto, E.; Venneri, Battistina
Subtyping-Inheritance Conflicts: The Mobile Mixin Case
2004 Bettini, Lorenzo; Bono, V.; Venneri, Battistina
O'KLAIM: A Coordination language with mobile mixins
2004 Bettini, Lorenzo; Bono, V.; Venneri, Battistina
Translating Double-Dispatch into Single-Dispatch
2005 L. Bettini; S. Capecchi; B. Venneri
MoMi: a calculus for Mobile Mixins
2005 Bettini, Lorenzo; Bono, V.; Venneri, Battistina
Double Dispatch in C++
2006 L. BETTINI; S. CAPECCHI; B. VENNERI
Featherweight Java with multi-methods
2007 L. Bettini; S. Capecchi; B. Venneri
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Principal Type Schemes and Lambda Calculus Semantics | 1980 | M. Dezani-Ciancaglini; M. Coppo; B. Venneri | |
| Functional Characters of Solvable Terms | 1981 | M. Dezani-Ciancaglini; M. Coppo; B. Venneri | |
| Principal type schemes for an extended type theory | 1984 | S. Ronchi Della Rocca; B. Venneri | |
| Partial Types and Intervals | 1990 | M. Dezani-Ciancaglini; B. Venneri | |
| Intersection Types as Logical Formulae | 1994 | B. Venneri | |
| The ``Relevance'' of Intersection and Union Types | 1997 | M. Dezani-Ciancaglini; S. Ghilezan; B. Venneri | |
| Types for Access Control | 2000 | R. PUGLIESE; R. DE NICOLA; G. FERRARI; B. VENNERI | |
| Hyperformulae, Paralle Deductions and Intersection Types | 2001 | CAPITANI B.; M. LORETI; VENNERI B. | |
| Towards Object-Oriented Klaim | 2002 | L. Bettini; V. Bono; B. Venneri | |
| Coordinating Mobile Object-Oriented Code | 2002 | Bettini, Lorenzo; Bono, V.; Venneri, Battistina | |
| Extending Java to dynamic object behaviors | 2003 | L. Bettini; S. Capecchi; B. Venneri | |
| On Multiple Inheritance in Java. | 2003 | L. BETTINI; M. LORETI; B. VENNERI | |
| Subtyping Mobile Classes and Mixins | 2003 | Bettini, L.; Bono, V.; Venneri, B. | |
| The Klaim Project: Theory and Practice | 2003 | Bettini, Lorenzo; Bono, V.; DE NICOLA, R.; Ferrari, G.; Gorla, D.; Loreti, Michele; Moggi, E.; Pugliese, Rosario; Tuosto, E.; Venneri, Battistina | |
| Subtyping-Inheritance Conflicts: The Mobile Mixin Case | 2004 | Bettini, Lorenzo; Bono, V.; Venneri, Battistina | |
| O'KLAIM: A Coordination language with mobile mixins | 2004 | Bettini, Lorenzo; Bono, V.; Venneri, Battistina | |
| Translating Double-Dispatch into Single-Dispatch | 2005 | L. Bettini; S. Capecchi; B. Venneri | |
| MoMi: a calculus for Mobile Mixins | 2005 | Bettini, Lorenzo; Bono, V.; Venneri, Battistina | |
| Double Dispatch in C++ | 2006 | L. BETTINI; S. CAPECCHI; B. VENNERI | |
| Featherweight Java with multi-methods | 2007 | L. Bettini; S. Capecchi; B. Venneri |
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