1. Higher-Order unification for free!: Reusing the meta-language unification for the object language;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Embedding a family of logic languages with custom monadic unification in Scala;PROBLEMS IN PROGRAMMING;2024-01
3. Contextual Refinement Types;Electronic Proceedings in Theoretical Computer Science;2023-11-17
4. Strongly-Typed Multi-View Stack-Based Computations;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
5. Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity;Proceedings of the ACM on Programming Languages;2023-10-16