| Publication | Date of Publication | Type |
|---|
| Intersection and union types as logical formulae | 2024-09-06 | Paper |
Intersection types in Java: back to the future
Lecture Notes in Computer Science | 2023-08-02 | Paper |
scientific article; zbMATH DE number 6932679 (Why is no real title available?)
(available as arXiv preprint) | 2018-09-06 | Paper |
Data-driven adaptation for smart sessions
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
Deriving session and union types for objects
Mathematical Structures in Computer Science | 2014-04-16 | Paper |
| Translating double dispatch into single dispatch | 2013-09-26 | Paper |
Hyperformulae, parallel deductions and intersection types
Electronic Notes in Theoretical Computer Science | 2013-04-19 | 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 |
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 |
Coordination Models and Languages
Lecture Notes in Computer Science | 2006-01-10 | 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 2087390 (Why is no real title available?) | 2004-08-11 | Paper |
Types for access control
Theoretical Computer Science | 2000-08-21 | Paper |
The ``relevance of intersection and union types
Notre Dame Journal of Formal Logic | 1999-08-17 | Paper |
Intersection Types as Logical Formulae
Journal Of Logic And Computation | 1994-11-03 | Paper |
Partial Types and Intervals
SIAM Journal on Computing | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4087626 (Why is no real title available?) | 1987-01-01 | Paper |
Functional Characters of Solvable Terms
Mathematical Logic Quarterly | 1981-01-01 | Paper |
