research
∙
12/30/2021
Deriving Distributive Laws for Graded Linear Types
The recent notion of graded modal types provides a framework for extendi...
share
research
∙
07/01/2021
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Recent work showed that compiling functional programs to use dense, seri...
research
∙
08/23/2019
