Jonathan Immanuel Brachthäuser -

Registered user since Wed 3 Aug 2016

Name:Jonathan Immanuel Brachthäuser

Country:Germany

Affiliation:University of Tübingen, Germany

Personal website:http://se.informatik.uni-tuebingen.de

Twitter:https://twitter.com/__protected

GitHub:https://github.com/b-studios

Research interests:Algebraic Effects, Effect Handlers, Effect Systems, Continuations, CPS

Contributions

ECOOP 2022	Committee Member in Artifact Evaluation Committee within the Artifacts-track Committee Member in Extended Review Committee within the Research Papers-track
PEPM 2022	Committee Member in Program Committee within the PEPM 2022-track Session Chair of Contributed Talks 2 (part of PEPM 2022)
Scala 2021	Author of Safer Exceptions for Scala within the Scala-track
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
POPL 2022	Author of Type-Level Programming with Match Types within the POPL-track
GPCE 2021	Author of Multi-Stage Programming with Generative and Analytical Macros within the GPCE-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