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
PLDI 2022 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2022 profile
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
Share
x
Tue 24 May 19:41