1. Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
2. Enriched Presheaf Model of Quantum FPC;Proceedings of the ACM on Programming Languages;2024-01-05
3. Mutually Iso-Recursive Subtyping;Proceedings of the ACM on Programming Languages;2023-10-16
4. Parameterized Algebraic Protocols;Proceedings of the ACM on Programming Languages;2023-06-06
5. MLstruct: principal type inference in a Boolean algebra of structural types;Proceedings of the ACM on Programming Languages;2022-10-31