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