Marius Müller

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Sequent Calculus

Top Venues

Proc. ACM Program. Lang.

Publications

David Binder, Marco Tzschentke, Marius Müller, Klaus Ostermann
Grokking the Sequent Calculus (Functional Pearl). CoRR (2024)
Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Back to Direct Style: Typed and Tight. Proc. ACM Program. Lang. 7 (OOPSLA1) (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)
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann
A typed continuation-passing translation for lexical effect handlers. PLDI (2022)