1. Strongly-Typed Multi-View Stack-Based Computations;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
2. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq;ACM Transactions on Programming Languages and Systems;2023-07-20
3. On Retrofitting Provenance for Transparent and Fair Software - Drivers and Challenges;2023 IEEE/ACM International Workshop on Equitable Data & Technology (FairWare);2023-05
4. Disjunctive Delimited Control;Theory and Practice of Logic Programming;2023-04-11
5. Plethysms and operads;Collectanea Mathematica;2023-02-23