Person:553898

Available identifiers

zbMath Open venneri.bettiMaRDI QIDQ553898

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2848695	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Betti Venneri