VENNERI, BATTISTINA

VENNERI, BATTISTINA  

Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.101 secondi).
Titolo Data di pubblicazione Autore(i) File
A safe implementation of dynamic overloading in Java-like languages 2010 L. Bettini; S. Capecchi; B. Venneri
A Typed Lambda Calculus with Intersection Types 2008 Bono, V.; Venneri, B.; Bettini, L.
Coordinating Mobile Object-Oriented Code 2002 Bettini, Lorenzo; Bono, V.; Venneri, Battistina
Data-driven Adaptation for Smart Sessions 2017 Bono, V.; Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
Deconfined Intersection Types in Java 2020 Mariangiola Dezani-Ciancaglini , Paola Giannini, Betti Venneri
Delegation by object composition 2011 Lorenzo Bettini; Viviana Bono; Betti Venneri
Deriving Session and Union Types for Objects 2013 Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Battistina
Double Dispatch in C++ 2006 L. BETTINI; S. CAPECCHI; B. VENNERI
Dynamic overloading with copy semantics in object-oriented languages: a formal account 2009 L. Bettini; S. Capecchi; B. Venneri
Extending Java to dynamic object behaviors 2003 L. Bettini; S. Capecchi; B. Venneri
Featherweight Java with Dynamic and Static Overloading 2009 L. Bettini; S. Capecchi; B. Venneri
Featherweight Java with multi-methods 2007 L. Bettini; S. Capecchi; B. Venneri
Functional Characters of Solvable Terms 1981 M. Dezani-Ciancaglini; M. Coppo; B. Venneri
Hyperformulae, Paralle Deductions and Intersection Types 2001 CAPITANI B.; M. LORETI; VENNERI B.
Intersection Types as Logical Formulae 1994 B. Venneri
Intersection Types in Java: Back to the Future 2019 Dezani-Ciancaglini M., Giannini P., Venneri B.
Java & Lambda: a Featherweight Story 2018 Bettini, Lorenzo; Bono, Viviana ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola ; Venneri, Betti
Lambda calcolo 2017 M. Dezani-Ciancaglini, B. Venneri
MoMi: a calculus for Mobile Mixins 2005 Bettini, Lorenzo; Bono, V.; Venneri, Battistina
O'KLAIM: A Coordination language with mobile mixins 2004 Bettini, Lorenzo; Bono, V.; Venneri, Battistina