1. A Dependently Typed Language with Dynamic Equality;Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development;2023-08-30
2. Type Patterns: Pattern Matching on Shape-Carrying Array Types;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29
3. Extracting enhanced artificial intelligence model metadata from software repositories;Empirical Software Engineering;2022-09-20
4. Stitch: the sound type-indexed type checker (functional pearl);Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell;2020-08-09
5. Pure iso-type systems;Journal of Functional Programming;2019