Marius Müller, M. Sc.
Marius Müller
Universität Tübingen
WSI - Programmiersprachen
Sand 13
72076 Tübingen
Germany
- Telephone
- +49 - (0) 70 71 - 29 - 70 516
- Telefax
- +49 - (0) 70 71 - 29 - 50 82
- mari.mueller(at)uni-tuebingen.de
- Office
- B211
- Office hours
- by appointment
Publications
Grokking the Sequent Calculus (Functional Pearl)
by David Binder, Marco Tzschentke, Marius Müller, and Klaus Ostermann
In Proc. Int’l Conf. Functional Programming (ICFP). ACM Press, 2024.
Learn More
Back to Direct Style: Typed and Tight
by Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2023.
Learn More
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
by Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2023.
Learn More
A Typed Continuation-Passing Translation for Lexical Effect Handlers
by Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
In Proc. Conf. Programming Language Design and Implementation (PLDI), 2022.
Learn More