Betti Venneri

According to our database, Betti Venneri authored at least 35 papers between 1981 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity.

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2020

Deconfined Intersection Types in Java.

Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2018

Java & Lambda: a Featherweight Story.

Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri

Log. Methods Comput. Sci., 2018

Java & Lambda: a Featherweight Story.

Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri

CoRR, 2018

Intersection Types in Java: Back to the Future.

Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri

Proceedings of the Models, Mindsets, 2018

2017

Data-driven adaptation for smart sessions.

Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

J. Log. Algebraic Methods Program., 2017

2016

Parallel Monitors for Self-adaptive Sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

2015

Self-adaptive multiparty sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

Serv. Oriented Comput. Appl., 2015

2014

Self-Adaptive Monitors for Multiparty Sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

Deriving session and union types for objects.

Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri

Math. Struct. Comput. Sci., 2013

2011

Delegation by object composition.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Sci. Comput. Program., 2011

Object reuse and behavior adaptation in Java-like languages.

Lorenzo Bettini, Betti Venneri

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

2009

Featherweight Java with dynamic and static overloading.

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Sci. Comput. Program., 2009

Dynamic overloading with copy semantics in object-oriented languages: a formal account.

Lorenzo Bettini, Sara Capecchi, Betti Venneri

RAIRO Theor. Informatics Appl., 2009

A Safe Implementation of Dynamic Overloading in Java-Like Languages.

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Proceedings of the Fundamentals of Software Engineering, 2009

2008

A typed lambda calculus with intersection types.

Viviana Bono, Betti Venneri, Lorenzo Bettini

Theor. Comput. Sci., 2008

Object Incompleteness and Dynamic Composition in Java-Like Languages.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Session and Union Types for Object Oriented Programming.

Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri

Proceedings of the Concurrency, 2008

2007

Featherweight Java with multi-methods.

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

2006

Double dispatch in C++.

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Softw. Pract. Exp., 2006

2005

MOMI: a calculus for mobile mixins.

Lorenzo Bettini, Betti Venneri, Viviana Bono

Acta Informatica, 2005

2004

Translating Double Dispatch into Single Dispatch.

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Proceedings of the Second Workshop on Object Oriented Developments, 2004

Subtyping-Inheritance Conflicts: The Mobile Mixin Case.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

O'Klaim: A Coordination Language with Mobile Mixins.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

Extending Java to dynamic object behaviors.

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Proceedings of the Workshop on Object Oriented Developments, 2003

The Klaim Project: Theory and Practice.

Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri

Proceedings of the Global Computing. Programming Environments, 2003

2002

Coordinating Mobile Object-Oriented Code.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

Hyperformulae, Parallel Deductions and Intersection Types.

Beatrice Capitani, Michele Loreti, Betti Venneri

Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001

Towards Object-Oriented Klaim.

Lorenzo Bettini, Viviana Bono, Betti Venneri

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

2000

Types for access control.

Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Betti Venneri

Theor. Comput. Sci., 2000

1997

The "Relevance" of Intersection and Union Types.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri

Notre Dame J. Formal Log., 1997

1994

Intersection Types as Logical Formulae.

Betti Venneri

J. Log. Comput., 1994

1990

Partial Types and Intervals.

Mariangiola Dezani-Ciancaglini, Betti Venneri

SIAM J. Comput., 1990

1984

Principal Type Schemes for an Extended Type Theory.

Simona Ronchi Della Rocca, Betti Venneri

Theor. Comput. Sci., 1984

1981

Functional Characters of Solvable Terms.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

Math. Log. Q., 1981