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