| Publication | Date of Publication | Type |
|---|
| Optimizing a non-deterministic abstract machine with environments | 2026-01-14 | Paper |
Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines
Logical Methods in Computer Science | 2024-09-04 | Paper |
| Non-deterministic abstract machines | 2024-08-13 | Paper |
\(\mathrm{HO}\pi\) in Coq
Journal of Automated Reasoning | 2021-06-09 | Paper |
An abstract machine for the Kell calculus
Lecture Notes in Computer Science | 2021-05-20 | Paper |
| Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines | 2021-01-19 | Paper |
| Howe's method for contextual semantics | 2017-09-12 | Paper |
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Efficiently deciding \(\mu\)-calculus with converse over finite trees
ACM Transactions on Computational Logic | 2017-01-27 | Paper |
HOCore in Coq
Interactive Theorem Proving | 2015-09-14 | Paper |
The M-calculus: a higher-order distributed process calculus
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
Boomerang, resourceful lenses for string data
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
A trusted mechanised JavaSript specification
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Concurrent flexible reversibility
Programming Languages and Systems | 2013-08-05 | Paper |
Characterizing contextual equivalence in calculi with passivation
Information and Computation | 2011-12-12 | Paper |
Controlling Reversibility in Higher-Order Pi
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
On the expressiveness and decidability of higher-order process calculi
Information and Computation | 2011-02-21 | Paper |
On the expressiveness of polyadic and synchronous communication in higher-order process calculi
Automata, Languages and Programming | 2010-09-07 | Paper |
Howe’s Method for Calculi with Passivation
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Normal Bisimulations in Calculi with Passivation
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Exploiting schemas in data synchronization
Journal of Computer and System Sciences | 2007-05-23 | Paper |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 1759482 (Why is no real title available?) | 2002-06-25 | Paper |
