Betti Venneri

Available identifiers

Publication	Date of Publication	Type
Intersection and union types as logical formulae	2024-09-06	Paper
Intersection types in Java: back to the future	2023-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q4585064	2018-09-06	Paper
Data-driven adaptation for smart sessions	2017-07-04	Paper
Deriving session and union types for objects	2014-04-16	Paper
Translating double dispatch into single dispatch	2013-09-26	Paper
Hyperformulae, Parallel Deductions and Intersection Types	2013-04-19	Paper
Delegation by object composition	2011-07-28	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Dynamic overloading with copy semantics in object-oriented languages: a formal account	2009-07-15	Paper
Featherweight Java with dynamic and static overloading	2009-05-06	Paper
A typed lambda calculus with intersection types	2008-06-24	Paper
Session and Union Types for Object Oriented Programming	2008-06-19	Paper
Coordination Models and Languages	2006-01-10	Paper
MOMI: a calculus for mobile mixins	2005-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4673425	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4738173	2004-08-11	Paper
Types for access control	2000-08-21	Paper
The ``relevance of intersection and union types	1999-08-17	Paper
Intersection Types as Logical Formulae	1994-11-03	Paper
Partial Types and Intervals	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3816050	1987-01-01	Paper
Functional Characters of Solvable Terms	1981-01-01	Paper

This page was built for person: Betti Venneri