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
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), 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