| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 6932679 (Why is no real title available?)
(available as arXiv preprint) | 2018-09-06 | Paper |
Implementing type systems for the IDE with Xsemantics
Journal of Logical and Algebraic Methods in Programming | 2016-08-18 | Paper |
Deriving session and union types for objects
Mathematical Structures in Computer Science | 2014-04-16 | Paper |
On flexible dynamic trait replacement for Java-like languages
Science of Computer Programming | 2014-04-02 | Paper |
| Translating double dispatch into single dispatch | 2013-09-26 | Paper |
Compositional type checking of delta-oriented software product lines
Acta Informatica | 2013-06-26 | Paper |
Combining traits with boxes and ownership types in a Java-like setting
Science of Computer Programming | 2013-06-06 | Paper |
Delegation by object composition
Science of Computer Programming | 2011-07-28 | Paper |
The Klaim project: Theory and practice
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Dynamic overloading with copy semantics in object-oriented languages: a formal account
RAIRO - Theoretical Informatics and Applications | 2009-07-15 | Paper |
Dynamic overloading with copy semantics in object-oriented languages: a formal account
RAIRO - Theoretical Informatics and Applications | 2009-07-15 | Paper |
Featherweight Java with dynamic and static overloading
Science of Computer Programming | 2009-05-06 | Paper |
Global Progress in Dynamically Interleaved Multiparty Sessions
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
A typed lambda calculus with intersection types
Theoretical Computer Science | 2008-06-24 | Paper |
Session and Union Types for Object Oriented Programming
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Coordination Models and Languages
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
MOMI: a calculus for mobile mixins
Acta Informatica | 2005-12-14 | Paper |
| scientific article; zbMATH DE number 2163038 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2087391 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087390 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084813 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1951525 (Why is no real title available?) | 2003-07-21 | Paper |
Klava: a Java package for distributed and mobile applications
Software: Practice and Experience | 2003-02-04 | Paper |
