Betti Venneri

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Intersection and union types as logical formulae	2024-09-06	Paper
Intersection types in Java: back to the future Lecture Notes in Computer Science	2023-08-02	Paper
scientific article; zbMATH DE number 6932679 (Why is no real title available?)	2018-09-06	Paper
Data-driven adaptation for smart sessions Journal of Logical and Algebraic Methods in Programming	2017-07-04	Paper
Deriving session and union types for objects Mathematical Structures in Computer Science	2014-04-16	Paper
Translating double dispatch into single dispatch	2013-09-26	Paper
Hyperformulae, parallel deductions and intersection types Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
Delegation by object composition Science of Computer Programming	2011-07-28	Paper
The Klaim project: Theory and practice Lecture Notes in Computer Science	2010-02-05	Paper
Dynamic overloading with copy semantics in object-oriented languages: a formal account RAIRO - Theoretical Informatics and Applications	2009-07-15	Paper
Featherweight Java with dynamic and static overloading Science of Computer Programming	2009-05-06	Paper
A typed lambda calculus with intersection types Theoretical Computer Science	2008-06-24	Paper
Session and Union Types for Object Oriented Programming Concurrency, Graphs and Models	2008-06-19	Paper
Coordination Models and Languages Lecture Notes in Computer Science	2006-01-10	Paper
MOMI: a calculus for mobile mixins Acta Informatica	2005-12-14	Paper
scientific article; zbMATH DE number 2163038 (Why is no real title available?)	2005-04-29	Paper
scientific article; zbMATH DE number 2087390 (Why is no real title available?)	2004-08-11	Paper
Types for access control Theoretical Computer Science	2000-08-21	Paper
The ``relevance of intersection and union types Notre Dame Journal of Formal Logic	1999-08-17	Paper
Intersection Types as Logical Formulae Journal Of Logic And Computation	1994-11-03	Paper
Partial Types and Intervals SIAM Journal on Computing	1990-01-01	Paper
scientific article; zbMATH DE number 4087626 (Why is no real title available?)	1987-01-01	Paper
Functional Characters of Solvable Terms Mathematical Logic Quarterly	1981-01-01	Paper

Research outcomes over time

This page was built for person: Betti Venneri