1. idris-ct: A Library to do Category Theory in Idris;Electronic Proceedings in Theoretical Computer Science;2020-09-15
2. A Dependently Typed Linear π-Calculus in Agda;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08
3. Type-level computations for Ruby libraries;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
4. Pure Functional Epidemics;Proceedings of the 30th Symposium on Implementation and Application of Functional Languages;2018-09-05