Patrick Bahr -

Registered user since Tue 9 Dec 2014

Name:Patrick Bahr

Country:Denmark

Affiliation:IT University of Copenhagen

Personal website:http://bahr.io

Contributions

REBLS 2022	Committee Member in Program Committee within the Reactive and Event-Based Languages and Systems-track
ICFP 2022	Author of Monadic Compiler Calculation within the ICFP Papers and Events-track
REBLS 2021	Committee Member in Program Committee within the REBLS 2021-track
REBLS 2020	PC Member in Program Committee within the REBLS 2020-track
HOPE 2020	Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming within the HOPE 2020-track
POPL 2021	Author of Diamonds Are Not Forever: Liveness in Reactive Programming with Guarded Recursion within the POPL-track
PEPM 2020	Committee Member in Program Committee within the PEPM 2020-track
ICFP 2020	Committee Member in External Review Committee within the ICFP Program-track
REBLS 2019	Committee Member in Program Committee within the REBLS-track
Haskell 2018	Committee Member in Program Committee within the Haskell 2018-track
ICFP 2019	Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks within the Research Papers-track
FSCD 2017	Author of Böhm Reduction in Infinitary Term Graph Rewriting Systems within the FSCD 2017-track
PEPM 2015	Author of Generalising Tree Traversals to DAGs within the PEPM 2015-track