1. A Typed Lambda Calculus with Gradual Intersection Types;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
2. Type Inference for Rank-2 Intersection Types Using Set Unification;Lecture Notes in Computer Science;2022
3. Intrinsically typed compilation with nameless labels;Proceedings of the ACM on Programming Languages;2021-01-04
4. Efficient counter-factual type error debugging;Science of Computer Programming;2020-12
5. Kind inference for datatypes;Proceedings of the ACM on Programming Languages;2020-01