Jonathan Lindegaard Starup
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2023–2025
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Qualified Types with Boolean Algebras | OOPSLA 2025 | 2025-10-16 |
Proposes qualifier-backed effects using Boolean algebras by formalizing System F⧼:B (negation, qualifier polymorphism, subqualification) and deriving an effect… | ||
| From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect ... | OOPSLA 2023 | 2023-10-23 |
A typed, semantics- and typability-preserving lift-inference translation converts a source language with second-class capabilities into a region calculus that… | ||
| nothing matches | ||