Jonathan Immanuel Brachthäuser -

Registered user since Wed 3 Aug 2016

Name:Jonathan Immanuel Brachthäuser

Affiliation:EPFL

Contributions

TyDe 2021	Author of Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) within the TyDe 2021-track
HOPE 2021	Author of Representing Monads with Capabilities within the HOPE 2021-track Author of Higher-order Programming with Effects and Handlers — with First-Class Functions within the HOPE 2021-track
HOPE 2020	Author of Higher-order Programming with Effects and Handlers — without First-Class Functions within the HOPE 2020-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 Compiling Effect Handlers in Capability-Passing Style within the ICFP Program-track Author of Effect Handlers, Evidently within the ICFP Program-track
Scala 2019	Author in Steering Committee within the Scala 2019-track Sponsorship Chair in Organizing Committee within the Scala 2019-track
Scala 2018	Sponsorship Chair in Organizing Committee within the Scala 2018-track Committee Member in Steering Committee within the Scala 2018-track Committee Member in Program Committee within the Scala 2018-track
HOPE 2018	Author of Taming Control Flow through Linear Effect Handlers within the HOPE 2018-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
DSLDI 2017	Author of Towards Naturalistic EDSLs using Algebraic Effects within the DSLDI 2017-track
Scala 2017	Scala'17 Organizer in Organizing Committee within the Scala 2017-track Session Chair of Unconference (part of Scala 2017) Author of Effekt: Extensible Algebraic Effects in Scala (Short Paper) within the Scala 2017-track
Scala 2016	Author of Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” within the Scala-track
SPLASH 2016	Author of Parsing with First-Class Derivatives within the OOPSLA-track
SPLASH 2014	Presenter of From Object Algebras to Attribute Grammars within the OOPSLA Artifacts-track Author of From Object Algebras to Attribute Grammars within the OOPSLA-track