Lorenzo Bettini

Available identifiers

zbMath Open bettini.lorenzoMaRDI QIDQ553896

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4585064	2018-09-06	Paper
Implementing type systems for the IDE with Xsemantics	2016-08-18	Paper
Deriving session and union types for objects	2014-04-16	Paper
On flexible dynamic trait replacement for Java-like languages	2014-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q2848695	2013-09-26	Paper
Compositional type checking of delta-oriented software product lines	2013-06-26	Paper
Combining traits with boxes and ownership types in a Java-like setting	2013-06-06	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
Global Progress in Dynamically Interleaved Multiparty Sessions	2008-11-25	Paper
A typed lambda calculus with intersection types	2008-06-24	Paper
Session and Union Types for Object Oriented Programming	2008-06-19	Paper
Theoretical Computer Science	2006-11-01	Paper
Coordination Models and Languages	2006-01-10	Paper
Types for Proofs and Programs	2005-12-23	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
https://portal.mardi4nfdi.de/entity/Q4738174	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736000	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4413746	2003-07-21	Paper
Klava: a Java package for distributed and mobile applications	2003-02-04	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: Lorenzo Bettini