| No. |
Title |
Author |
Year |
|---|
| 1 |
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints |
Starup, Jonathan Lindegaard et al. |
2023 |
| 2 |
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism |
Madsen, Magnus et al. |
2023 |
| 3 |
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants |
Madsen, Magnus et al. |
2023 |
| 4 |
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact) |
Madsen, Magnus et al. |
2023 |
| 5 |
A Semantics for the Essence of React |
Madsen, Magnus et al. |
2020 |
