Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marius Müller
conf.researchr.org general profile
ICFP 2022 profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
PLDI 2022 profile
SPLASH 2023 profile
Registered user since Tue 5 Apr 2022
Name:
Marius Müller
Country:
Germany
Affiliation:
University of Tübingen
Contributions
2025
SPLASH
Author of Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation within the OOPSLA-track
2024
ICFP
Author of Functional Pearl: Grokking the Sequent Calculus within the Artifact Evaluation-track
Author of Grokking the Sequent Calculus (Functional Pearl) within the ICFP Papers and Events-track
2023
SPLASH
Author of Back to Direct Style: Typed and Tight within the OOPSLA-track
Author of From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers within the OOPSLA-track
2022
HOPE
Author of Lift Inference for Lexical Effect Handlers with Second-Class Functions within the HOPE 2022-track
PLDI
Author of A Typed Continuation-Passing Translation for Lexical Effect Handlers within the PLDI-track
Share
x
Wed 24 Sep 00:34