1. The (In)Efficiency of interaction;Proceedings of the ACM on Programming Languages;2021-01-04
2. The Machinery of Interaction;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08
3. Abstract machines, optimal reduction, and streams;Mathematical Structures in Computer Science;2019-04-08
4. Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper);Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2017-01-02
5. A correspondence between maximal abelian sub-algebras and linear logic fragments;Mathematical Structures in Computer Science;2016-07-28