1. Flexible and reversible conversion between extensible records and overloading constraints for ML;Journal of Systems and Software;2024-10
2. Existential Containers in Scala;Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2024-09-13
3. 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
4. Closure-Free Functional Programming in a Two-Level Type Theory;Proceedings of the ACM on Programming Languages;2024-08-15
5. Associated Effects: Flexible Abstractions for Effectful Programming;Proceedings of the ACM on Programming Languages;2024-06-20