Programming Languages

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
E-Mail
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