Jonathan Lindegaard Starup

According to our database, Jonathan Lindegaard Starup authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Qualified Types with Boolean Algebras.

Edward Lee, Jonathan Lindegaard Starup, Ondrej Lhoták, Magnus Madsen

Proc. ACM Program. Lang., 2025

2023

From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.

Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., October, 2023

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact).

Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze

Dagstuhl Artifacts Ser., 2023

Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints.

Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants.

Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Flix: A Meta Programming Language for Datalog.

Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

Further Unifying the Landscape of Cell Probe Lower Bounds.

Kasper Green Larsen, Jonathan Lindegaard Starup, Jesper Steensgaard

Proceedings of the 4th Symposium on Simplicity in Algorithms, 2021