Marius Müller -

Registered user since Tue 5 Apr 2022

Name:Marius Müller

Country:Germany

Affiliation:University of Tübingen

Contributions

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