| Publication | Date of Publication | Type |
|---|
| A typed lambda calculus of objects (extended abstract) | 2024-06-21 | Paper |
scientific article; zbMATH DE number 7561342 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | Paper |
scientific article; zbMATH DE number 7559294 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
Plugging-in proof development environments using \textit{locks} in \(\mathsf{LF}\)
Mathematical Structures in Computer Science | 2018-10-19 | Paper |
| A decidable subtyping logic for intersection and union types | 2018-02-16 | Paper |
\(\mathsf{LLF}_{\mathcal{P}}\): a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads
(available as arXiv preprint) | 2017-07-13 | Paper |
A realizability interpretation for intersection and union types
Programming Languages and Systems | 2016-12-21 | Paper |
Implementing Cantor's paradise
Programming Languages and Systems | 2016-12-21 | Paper |
An open logical framework
Journal of Logic and Computation | 2016-04-28 | Paper |
Pure patterns type systems
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
L ax F: Side Conditions and External Evidence as Monads
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
A framework for defining logical frameworks
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Virtual organizations in \texttt{Arigatoni}
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Towards an intersection typed system à la Church | 2013-10-02 | Paper |
| Rewriting calculus with(out) types | 2013-10-02 | Paper |
| Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract) | 2013-09-25 | Paper |
| The polymorphic rewriting-calculus [type checking vs. type inference] | 2013-09-20 | Paper |
| Rewrite strategies in the rewriting calculus | 2013-08-27 | Paper |
Logic and computation in a lambda calculus with intersection and union types
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
| Imperative object-based calculi in co-inductive type theories | 2010-02-24 | Paper |
A Conditional Logical Framework
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
iRho: an imperative rewriting calculus
Mathematical Structures in Computer Science | 2008-08-15 | Paper |
Extending FeatherTrait Java with interfaces
Theoretical Computer Science | 2008-06-24 | Paper |
Intersection-types à la Church
Information and Computation | 2007-09-18 | Paper |
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
Journal of Automated Reasoning | 2007-08-17 | Paper |
Addressed term rewriting systems: application to a typed object calculus
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | 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 1722700 (Why is no real title available?) | 2002-03-21 | Paper |
| scientific article; zbMATH DE number 1701351 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1499110 (Why is no real title available?) | 2000-09-03 | Paper |
Object calculi in linear logic
Journal Of Logic And Computation | 2000-07-27 | Paper |
| scientific article; zbMATH DE number 1420792 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1114038 (Why is no real title available?) | 1998-10-01 | Paper |
Comparing cubes of typed and type assignment systems
Annals of Pure and Applied Logic | 1997-10-23 | Paper |
