• Sign in
  • Sign up
conf.researchr.org / Patrick Bahr
  • * 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
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

Share
xMon 15 Aug 03:36
using conf.researchr.org (v1.56.0)
Support page
Sign Up