conf.researchr.org / Patrick Bahr
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 2020PC Member in Program Committee within the REBLS 2020-track
HOPE 2020Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming within the HOPE 2020-track
PEPM 2020Committee Member in Program Committee within the PEPM 2020-track
ICFP 2020Committee Member in External Review Committee within the ICFP Program-track
REBLS 2019Committee Member in Program Committee within the REBLS-track
Haskell 2018Committee Member in Program Committee within the Haskell 2018-track
ICFP 2019Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks within the Research Papers-track
FSCD 2017Author of Böhm Reduction in Infinitary Term Graph Rewriting Systems within the FSCD 2017-track
PEPM 2015Author of Generalising Tree Traversals to DAGs within the PEPM 2015-track