We stand with Ukraine  

Marius Müller

Orcid: 0000-0002-0260-6298

Affiliations:
  • University of Tübingen, Germany


According to our database1, Marius Müller authored at least 3 papers between 2022 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.
[BibTeX]
[DOI]
Marius Müller
,
Philipp Schuster
,
Jonathan Lindegaard Starup
,
Klaus Ostermann
,
Jonathan Immanuel Brachthäuser
Proc. ACM Program. Lang., October, 2023

Back to Direct Style: Typed and Tight.
[BibTeX]
[DOI]
Marius Müller
,
Philipp Schuster
,
Jonathan Immanuel Brachthäuser
,
Klaus Ostermann
Proc. ACM Program. Lang., April, 2023

2022
A typed continuation-passing translation for lexical effect handlers.
[BibTeX]
[DOI]
Philipp Schuster
,
Jonathan Immanuel Brachthäuser
,
Marius Müller
,
Klaus Ostermann
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022


  Loading...