Marius Müller
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2023–2025
on a stage with
all 4 in the filters
who talks about the same things
- Klaus Ostermann14 talks
- Philipp Schuster13 talks
- Jonathan Immanuel Brachthäuser22 talks
- Sebastian Hack8 talks
- Michel Steuwer17 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation | OOPSLA 2025 | 2025-10-16 |
An intermediate representation called Xcut intermediate representation encodes classical sequent calculus as a normalized term language with formal typing and… | ||
| 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… | ||
| Back to Direct Style: Typed and Tight | OOPSLA 2023 | 2023-10-23 |
Two typed languages are presented: a direct-style language and a CPS language, each with an abstract-machine semantics, plus translations both ways that are… | ||
| Lift Inference for Lexical Effect Handlers with Second-Class Functions | HOPE 2022 | 2022-09-11 |
Presents an algorithm that infers lifting information for lexical effect handlers by translating System Xi (with second-class functions) into Lambda_cap with… | ||
| A Typed Continuation-Passing Translation for Lexical Effect Handlers | PLDI 2022 | 2022-06-13 |
Claims a sound translation of lexical effect handlers to pure System F via a continuation-passing translation that needs no runtime support. Handlers, regions… | ||
| nothing matches | ||