Publications
-
Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
ICCQ 2024 — 4th International Conference on Code Quality, Innopolis, Russia
-
Formalizing the ∞-Categorical Yoneda Lemma
CPP 2024 — 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, London, UK
-
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
TFP 2024 — Trends in Functional Programming, South Orange, NJ, USA
-
Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
TFPiE 2024 — 13th Workshop on Trends in Functional Programming in Education, South Orange, NJ, USA
-
E-Unification for Second-Order Abstract Syntax
FSCD 2023 — 8th International Conference on Formal Structures for Computation and Deduction, Rome, Italy
-
Running Regular Research Seminar Online
AMSTA 2023 — Agents and Multi-agent Systems: Technologies and Applications, Singapore
-
Formalizing φ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects
FTfJP 2022 — 24th ACM International Workshop on Formal Techniques for Java-like Programs, Berlin, Germany
-
Teaching Logic, from a Conceptual Viewpoint
Frontiers in Software Engineering Education 2020
Preprints & Workshop Abstracts
-
Generic Second-Order Matching, Higher-Order Preunification and Pattern Unification — Implementations in Haskell
UNIF 2025 — 39th International Workshop on Unification, Birmingham, UK
-
Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax
WITS 2025 — Workshop on Implementation Techniques for Semantics, co-located with POPL 2025, Denver, CO, USA
-
Towards Generic Higher-Order Unification Implementations in Haskell
WITS 2025 — Workshop on Implementation Techniques for Semantics, co-located with POPL 2025, Denver, CO, USA
-
typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
miniKanren '24 — 2024 miniKanren and Relational Programming Workshop, co-located with ICFP 2024, Milan, Italy
-
Deriving Higher-Order Unification in Haskell
WITS 2023 — Workshop on Implementation Techniques for Semantics, co-located with IFL 2023, Braga, Portugal
-
Generalising Huet-style Projections in E-unification for Second-Order Abstract Syntax
UNIF 2023 — 37th International Workshop on Unification, Rome, Italy
-
Experimental Prover for Tope Logic
SCAN 2023 — Workshop on Semantical and Computational Aspects of Non-Classical Logics, Moscow, Russia
-
Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables
UNIF 2022 — 36th International Workshop on Unification, Haifa, Israel