1. Gradual Indexed Inductive Types;Proceedings of the ACM on Programming Languages;2024-08-15
2. Mechanizing Refinement Types;Proceedings of the ACM on Programming Languages;2024-01-05
3. A Dependently Typed Language with Dynamic Equality;Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development;2023-08-30
4. Type Patterns: Pattern Matching on Shape-Carrying Array Types;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29
5. Polymorphic Types with Polynomial Sizes;Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming;2023-06-06