1. Contextual Refinement Types;Electronic Proceedings in Theoretical Computer Science;2023-11-17
2. Strongly-Typed Multi-View Stack-Based Computations;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
3. Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity;Proceedings of the ACM on Programming Languages;2023-10-16
4. Embedding by Unembedding;Proceedings of the ACM on Programming Languages;2023-08-30
5. Proofs about Network Communication: For Humans and Machines;Electronic Proceedings in Theoretical Computer Science;2023-08-21