| Publication | Date of Publication | Type |
|---|
Partially typed multiparty sessions with internal delegation
Journal of Logical and Algebraic Methods in Programming | 2024-11-26 | Paper |
Soundness conditions for big-step semantics
Programming Languages and Systems | 2022-10-13 | Paper |
A tale of intersection types
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
scientific article; zbMATH DE number 6932679 (Why is no real title available?)
| 2018-09-06 | Paper |
Data-driven adaptation for smart sessions
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
Typed interpretations of extensible objects
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
A CuCh interpretation of an object-oriented language
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Typing copyless message passing
Logical Methods in Computer Science | 2012-04-03 | Paper |
Delegation by object composition
Science of Computer Programming | 2011-07-28 | Paper |
Truth translations of basic relevant logics
| 2011-05-31 | Paper |
Typing copyless message passing
Programming Languages and Systems | 2011-05-19 | Paper |
Big-step operational semantics revisited
Fundamenta Informaticae | 2011-05-18 | Paper |
The Klaim project: Theory and practice
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Extensible objects: A tutorial
Lecture Notes in Computer Science | 2010-02-05 | Paper |
A typed lambda calculus with intersection types
Theoretical Computer Science | 2008-06-24 | Paper |
FJMIP: A Calculus for a Modular Object Initialization
Fundamentals of Computation Theory | 2008-02-26 | 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 |
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 2185707 (Why is no real title available?)
| 2005-07-04 | Paper |
scientific article; zbMATH DE number 2163038 (Why is no real title available?)
| 2005-04-29 | Paper |
scientific article; zbMATH DE number 2087390 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2079015 (Why is no real title available?)
| 2004-07-21 | Paper |
scientific article; zbMATH DE number 2060756 (Why is no real title available?)
| 2004-03-18 | Paper |
scientific article; zbMATH DE number 1799515 (Why is no real title available?)
| 2002-01-01 | Paper |
scientific article; zbMATH DE number 1390057 (Why is no real title available?)
| 2000-01-17 | Paper |
scientific article; zbMATH DE number 1330431 (Why is no real title available?)
| 1999-09-20 | Paper |
Matching for the lambda calculus of objects
Theoretical Computer Science | 1999-01-12 | Paper |
scientific article; zbMATH DE number 1114038 (Why is no real title available?)
| 1998-10-01 | Paper |
