| Publication | Date of Publication | Type |
|---|
| An ML-style record calculus with extensible records | 2024-12-17 | Paper |
| Linear rank intersection types | 2024-11-26 | Paper |
Quantitative global memory
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
scientific article; zbMATH DE number 7756108 (Why is no real title available?)
(available as arXiv preprint) | 2023-10-27 | Paper |
Structural rules and algebraic properties of intersection types
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Quantitative weak linearisation
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Pattern-based calculi with finitary matching
Logic Journal of the IGPL | 2022-08-10 | Paper |
| A unifying framework for type inhabitation | 2021-06-15 | Paper |
| A new graphical calculus of proofs | 2021-03-03 | Paper |
A new graphical calculus of proofs
(available as arXiv preprint) | 2021-03-03 | Paper |
\texttt{EVL}: a typed higher-order functional language for events
(available as arXiv preprint) | 2021-02-22 | Paper |
| Pre-grammars and inhabitation for a subset of rank 2 intersection types | 2019-11-13 | Paper |
A graph-based framework for the analysis of access control policies
Theoretical Computer Science | 2017-06-15 | Paper |
| A framework for the analysis of access control policies with emergency management | 2016-08-01 | Paper |
A typed language for events
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
Access control and obligations in the category-based metamodel: a rewrite-based semantics
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Linearity: a roadmap
Journal Of Logic And Computation | 2015-01-12 | Paper |
Minimality in a linear calculus with iteration
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
The power of closed reduction strategies
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Type inference using constraint handling rules
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Linearity and iterator types for Gödel's system \(\mathcal T\)
Higher-Order and Symbolic Computation | 2012-01-13 | Paper |
Gödel's system \(\mathcal T\) revisited
Theoretical Computer Science | 2010-03-29 | Paper |
The Power of Linear Functions
Computer Science Logic | 2009-03-12 | Paper |
Linear Recursive Functions
Rewriting, Computation and Proof | 2009-03-06 | Paper |
Iterator Types
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Weak linearization of the lambda calculus
Theoretical Computer Science | 2005-09-22 | Paper |
