research
∙
07/01/2021
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Recent work showed that compiling functional programs to use dense, seri...
share
research
∙
04/11/2019
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version
Applications in many domains are based on a series of traversals of tree...
research
∙
11/09/2017
Refinement Reflection: Complete Verification with SMT
We introduce Refinement Reflection, a new framework for building SMT-bas...
research
∙
10/26/2017
Linear Haskell: practical linearity in a higher-order polymorphic language
Linear type systems have a long and storied history, but not a clear pat...
research
∙
08/07/2017