Philipp Schuster

Registered user since Sun 23 Sep 2018

Name:Philipp Schuster
Affiliation:University of Tübingen

Contributions

PLDI 2022 Author of (ICFP 2020) Compiling effect handlers in capability-passing style within the SIGPLAN Track-track
Author of A Typed Continuation-Passing Translation for Lexical Effect Handlers within the PLDI-track
HOPE 2021 Author of Higher-order Programming with Effects and Handlers — with First-Class Functions within the HOPE 2021-track
HIW 2020 Author of Updating Immutable Code within the HIW 2020-track
HOPE 2020 Author of Higher-order Programming with Effects and Handlers — without First-Class Functions within the HOPE 2020-track
SPLASH 2022 Author of Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back within the OOPSLA-track
SPLASH 2020 Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA-track
Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA Artifacts-track
ICFP 2020 Author of Effect Handlers, Evidently within the ICFP Program-track
Author of Compiling Effect Handlers in Capability-Passing Style within the ICFP Program-track
ESOP 2019 Author of Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation within the ESOP 2019-track
TyDe 2018 Author of Typing, Representing, and Abstracting Control: Functional Pearl within the TyDe 2018-track
SPLASH 2018 Author of Effect Handlers for the Masses within the OOPSLA-track
HIW 2017 Author of An Experiment in Fragment-Based Code Distribution within the HIW 2017-track
Scala 2017 Author of Effekt: Extensible Algebraic Effects in Scala (Short Paper) within the Scala 2017-track