Qualified Types with Boolean Algebras

• 2025
• OOPSLA
• 1. Edward Lee
  2. Jonathan Lindegaard Starup
  3. Ondřej Lhoták
  4. Magnus Madsen
• publisher page
• publisher pdf

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

• 2023
• ECOOP
• 1. Jonathan Lindegaard Starup
  2. Magnus Madsen
  3. Ondřej Lhoták
• publisher page
• publisher pdf

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

• 2023
• OOPSLA
• 1. Marius Müller
  2. Philipp Schuster
  3. Jonathan Lindegaard Starup
  4. Klaus Ostermann
  5. Jonathan Immanuel Brachthäuser
• publisher page
• publisher pdf

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants

• 2023
• ECOOP
• 1. Magnus Madsen
  2. Jonathan Lindegaard Starup
  3. Matthew Lutze
• publisher page
• publisher pdf

Flix: A Meta Programming Language for Datalog

• 2022
• Datalog 2.0
• 1. Magnus Madsen
  2. Jonathan Lindegaard Starup
  3. Ondřej Lhoták
• publisher page
• publisher pdf

Further Unifying the Landscape of Cell Probe Lower Bounds

• 2021
• SOSA
• 1. Kasper Green Larsen
  2. Jonathan Lindegaard Starup
  3. Jesper Steensgaard
• publisher page
• publisher pdf