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. LambdaKube - A Functional Programming Approach in a Distributed Realm;2021 4th International Conference on Geoinformatics and Data Analysis;2021-04-14
4. Generic level polymorphic n-ary functions;Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2019;2019
5. Generic programming of all kinds;ACM SIGPLAN Notices;2018-12-07