1. Qualifying System F
<:
: Some Terms and Conditions May Apply;Proceedings of the ACM on Programming Languages;2024-04-29
2. Polymorphic Type Inference for Dynamic Languages;Proceedings of the ACM on Programming Languages;2024-01-05
3. Signature restriction for polymorphic algebraic effects;Journal of Functional Programming;2024
4. A Typed Lambda Calculus with Gradual Intersection Types;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
5. Type Inference for Rank-2 Intersection Types Using Set Unification;Lecture Notes in Computer Science;2022