Betti Venneri

36 papers C 3Journal 17Unranked 15
YearRankTypeTitle / Venue / Authors
2024 — conf
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity.
Logics and Type Systems in Theory and Practice
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri
2020 — conf
Deconfined Intersection Types in Java.
Gabbrielli's Festschrift
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
2018 — conf
Intersection Types in Java: Back to the Future.
Models, Mindsets, Meta
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
2018 J jnl
Java & Lambda: a Featherweight Story.
CoRR
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri
2018 J jnl
Java & Lambda: a Featherweight Story.
Log. Methods Comput. Sci.
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
2017 J jnl
Data-driven adaptation for smart sessions.
J. Log. Algebraic Methods Program.
Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
2016 — conf
Parallel Monitors for Self-adaptive Sessions.
PLACES
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
2015 J jnl
Self-adaptive multiparty sessions.
Serv. Oriented Comput. Appl.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
2014 C conf
Self-Adaptive Monitors for Multiparty Sessions.
PDP
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
2013 J jnl
Deriving session and union types for objects.
Math. Struct. Comput. Sci.
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
2011 J jnl
Delegation by object composition.
Sci. Comput. Program.
Lorenzo Bettini, Viviana Bono, Betti Venneri
2011 — conf
Object reuse and behavior adaptation in Java-like languages.
PPPJ
Lorenzo Bettini, Betti Venneri
2010 — ed.
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010.
ITRS
Elaine Pimentel, Betti Venneri, Joe B. Wells
2009 — conf
A Safe Implementation of Dynamic Overloading in Java-Like Languages.
FSEN
Lorenzo Bettini, Sara Capecchi, Betti Venneri
2009 J jnl
Dynamic overloading with copy semantics in object-oriented languages: a formal account.
RAIRO Theor. Informatics Appl.
Lorenzo Bettini, Sara Capecchi, Betti Venneri
2009 J jnl
Featherweight Java with dynamic and static overloading.
Sci. Comput. Program.
Lorenzo Bettini, Sara Capecchi, Betti Venneri
2008 J jnl
A typed lambda calculus with intersection types.
Theor. Comput. Sci.
Viviana Bono, Betti Venneri, Lorenzo Bettini
2008 — conf
Object Incompleteness and Dynamic Composition in Java-Like Languages.
TOOLS (46)
Lorenzo Bettini, Viviana Bono, Betti Venneri
2008 — conf
Session and Union Types for Object Oriented Programming.
Concurrency, Graphs and Models
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
2007 — conf
Featherweight Java with multi-methods.
PPPJ
Lorenzo Bettini, Sara Capecchi, Betti Venneri
2006 J jnl
Double dispatch in C++.
Softw. Pract. Exp.
Lorenzo Bettini, Sara Capecchi, Betti Venneri
2005 J jnl
MOMI: a calculus for mobile mixins.
Acta Informatica
Lorenzo Bettini, Betti Venneri, Viviana Bono
2004 C conf
O'Klaim: A Coordination Language with Mobile Mixins.
COORDINATION
Lorenzo Bettini, Viviana Bono, Betti Venneri
2004 — conf
Subtyping-Inheritance Conflicts: The Mobile Mixin Case.
IFIP TCS
Lorenzo Bettini, Viviana Bono, Betti Venneri
2004 — conf
Translating Double Dispatch into Single Dispatch.
WOOD
Lorenzo Bettini, Sara Capecchi, Betti Venneri
2003 — conf
Extending Java to dynamic object behaviors.
WOOD
Lorenzo Bettini, Sara Capecchi, Betti Venneri
2003 — conf
The Klaim Project: Theory and Practice.
Global Computing
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
2002 C conf
Coordinating Mobile Object-Oriented Code.
COORDINATION
Lorenzo Bettini, Viviana Bono, Betti Venneri
2001 — conf
Hyperformulae, Parallel Deductions and Intersection Types.
BOTH
Beatrice Capitani, Michele Loreti, Betti Venneri
2001 — conf
Towards Object-Oriented Klaim.
TOSCA
Lorenzo Bettini, Viviana Bono, Betti Venneri
2000 J jnl
Types for access control.
Theor. Comput. Sci.
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Betti Venneri
1997 J jnl
The "Relevance" of Intersection and Union Types.
Notre Dame J. Formal Log.
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
1994 J jnl
Intersection Types as Logical Formulae.
J. Log. Comput.
Betti Venneri
1990 J jnl
Partial Types and Intervals.
SIAM J. Comput.
Mariangiola Dezani-Ciancaglini, Betti Venneri
1984 J jnl
Principal Type Schemes for an Extended Type Theory.
Theor. Comput. Sci.
Simona Ronchi Della Rocca, Betti Venneri
1981 J jnl
Functional Characters of Solvable Terms.
Math. Log. Q.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri