| 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 |
A Semantics for the Essence of React |
Madsen, Magnus et al. |
2020 |
| 3 |
Blame for Null |
Nieto, Abel et al. |
2020 |
| 4 |
Blame for Null (Artifact) |
Nieto, Abel et al. |
2020 |
| 5 |
Reference Mutability for DOT |
Dort, Vlastimil et al. |
2020 |
| 6 |
Scala with Explicit Nulls |
Nieto, Abel et al. |
2020 |
| 7 |
Scala with Explicit Nulls (Artifact) |
Nieto, Abel et al. |
2020 |
| 8 |
Pointer Analysis (Dagstuhl Seminar 13162) |
Lhotak, Ondrej et al. |
2013 |
