1. Gradual Tensor Shape Checking;Programming Languages and Systems;2023
2. Refty;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
3. Typesafe abstractions for tensor operations (short paper);Proceedings of the 8th ACM SIGPLAN International Symposium on Scala;2017-10-22
4. APLicative Programming with Naperian Functors;Programming Languages and Systems;2017
5. A Simple and Practical Linear Algebra Library Interface with Static Size Checking;Electronic Proceedings in Theoretical Computer Science;2015-12-05