Jonathan Lindegaard Starup

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. ECOOP (2023)
Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. ECOOP (2023)
Kasper Green Larsen, Jonathan Lindegaard Starup, Jesper Steensgaard
Further Unifying the Landscape of Cell Probe Lower Bounds. SOSA (2021)
Kasper Green Larsen, Jonathan Lindegaard Starup, Jesper Steensgaard
Further Unifying the Landscape of Cell Probe Lower Bounds. CoRR (2020)