Lorenzo Bettini

From MaRDI portal
Person:553896

Available identifiers

zbMath Open bettini.lorenzoMaRDI QIDQ553896

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q45850642018-09-06Paper
Implementing type systems for the IDE with Xsemantics2016-08-18Paper
Deriving session and union types for objects2014-04-16Paper
On flexible dynamic trait replacement for Java-like languages2014-04-02Paper
Translating double dispatch into single dispatch2013-09-26Paper
Compositional type checking of delta-oriented software product lines2013-06-26Paper
Combining traits with boxes and ownership types in a Java-like setting2013-06-06Paper
Delegation by object composition2011-07-28Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems2010-02-05Paper
Dynamic overloading with copy semantics in object-oriented languages: a formal account2009-07-15Paper
Featherweight Java with dynamic and static overloading2009-05-06Paper
Global Progress in Dynamically Interleaved Multiparty Sessions2008-11-25Paper
A typed lambda calculus with intersection types2008-06-24Paper
Session and Union Types for Object Oriented Programming2008-06-19Paper
Theoretical Computer Science2006-11-01Paper
Coordination Models and Languages2006-01-10Paper
Types for Proofs and Programs2005-12-23Paper
MOMI: a calculus for mobile mixins2005-12-14Paper
https://portal.mardi4nfdi.de/entity/Q46734252005-04-29Paper
https://portal.mardi4nfdi.de/entity/Q47381742004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47381732004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47360002004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44137462003-07-21Paper
Klava: a Java package for distributed and mobile applications2003-02-04Paper

Research outcomes over time

This page was built for person: Lorenzo Bettini