Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Patrick Bahr
conf.researchr.org general profile
* ICSE 2018 * profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2022 profile
PEPM 2015 profile
POPL 2020 profile
POPL 2021 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
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
Share
x
Mon 15 Aug 03:36