1. Could Tierless Languages Reduce IoT Development Grief?;ACM Transactions on Internet of Things;2023-02-23
2. Deriving Distributive Laws for Graded Linear Types;Electronic Proceedings in Theoretical Computer Science;2021-12-30
3. Generic level polymorphic n-ary functions;Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2019;2019
4. Generic programming of all kinds;ACM SIGPLAN Notices;2018-12-07
5. Generic programming of all kinds;Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell;2018-09-17