1. A Dependently Typed Language with Dynamic Equality;Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development;2023-08-30
2. Extracting enhanced artificial intelligence model metadata from software repositories;Empirical Software Engineering;2022-09-20
3. Stitch: the sound type-indexed type checker (functional pearl);Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell;2020-08-09
4. Pure iso-type systems;Journal of Functional Programming;2019
5. Ghosts of departed proofs (functional pearl);ACM SIGPLAN Notices;2018-12-07