Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Philipp Schuster
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
PLDI 2022 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Sun 23 Sep 2018
Name:
Philipp Schuster
Affiliation:
University of Tübingen
Contributions
SPLASH 2023
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Author of Back to Direct Style: Typed and Tight within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
SPLASH 2022
Author of Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back within the OOPSLA-track
HOPE 2022
Author of Lift Inference for Lexical Effect Handlers with Second-Class Functions within the HOPE 2022-track
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
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
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
ESOP 2019
Author of Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation within the ESOP 2019-track
SPLASH 2018
Author of Effect Handlers for the Masses within the OOPSLA-track
TyDe 2018
Author of Typing, Representing, and Abstracting Control: Functional Pearl within the TyDe 2018-track
Scala 2017
Author of Effekt: Extensible Algebraic Effects in Scala (Short Paper) within the Scala 2017-track
HIW 2017
Author of An Experiment in Fragment-Based Code Distribution within the HIW 2017-track
Share
x
Thu 30 Mar 18:48