1. Decidable Subtyping of Existential Types for Julia;Proceedings of the ACM on Programming Languages;2024-06-20
2. MLstruct: principal type inference in a Boolean algebra of structural types;Proceedings of the ACM on Programming Languages;2022-10-31
3. Sound, heuristic type annotation inference for Ruby;Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages;2020-11-15
4. A Type Inference System Based on Saturation of Subtyping Constraints;Lecture Notes in Computer Science;2019
5. Inference and Evolution of TypeScript Declaration Files;Fundamental Approaches to Software Engineering;2017