Community User
Displaying 1 to 6 of 6 repositories
Artifact for the PLDI'26 paper "Syntactic Implicits with Static Overloading"
7m
213
PLDI 2024 Paper Artifact: The Functional Essence of Imperative Binary Search Trees
2y
333
Artifact for the ICFP'22 paper "Reference Counting with Frame Limited Reuse"
4y
311
Artifact for "Generalized Evidence Passing for Effect Handlers"
5y
150