1. Modular Models of Monoids with Operations;Proceedings of the ACM on Programming Languages;2023-08-30
2. Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects;Proceedings of the ACM on Programming Languages;2023-01-09
3. Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06
4. Reasoning about effect interaction by fusion;Proceedings of the ACM on Programming Languages;2021-08-22
5. Polymorphic Iterable Sequential Effect Systems;ACM Transactions on Programming Languages and Systems;2021-03-31