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
Translating double dispatch into single dispatch	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/Q4738174	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738173	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

This page was built for person: Lorenzo Bettini