Patrick Bahr

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 20

Top Topics

Rewriting Systems

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam
Asynchronous Reactive Programming with Modal Types in Haskell. PADL (2024)
Zac Garby, Graham Hutton, Patrick Bahr
Calculating Compilers Effectively (Functional Pearl). Haskell (2024)
Patrick Bahr, Rasmus Ejlers Møgelberg
Asynchronous Modal FRP. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Patrick Bahr, Rasmus Ejlers Møgelberg
Asynchronous Modal FRP. CoRR (2023)
Patrick Bahr, Graham Hutton
Calculating Compilers for Concurrency. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Patrick Bahr, Graham Hutton
Monadic compiler calculation (functional pearl). Proc. ACM Program. Lang. 6 (ICFP) (2022)
Patrick Bahr
Modal FRP for all: Functional reactive programming without space leaks in Haskell. J. Funct. Program. 32 (2022)
Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg
Diamonds are not forever: liveness in reactive programming with guarded recursion. Proc. ACM Program. Lang. 5 (POPL) (2021)
Patrick Bahr, Graham Hutton
Calculating correct compilers II: Return of the register machines. J. Funct. Program. 30 (2020)
Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg
Diamonds are not forever: Liveness in reactive programming with guarded recursion. CoRR (2020)
Patrick Bahr, Christian Graulund, Rasmus Ejlers Møgelberg
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming. CoRR (2019)
Patrick Bahr, Christian Graulund, Rasmus Ejlers Møgelberg
Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Patrick Bahr
Strict Ideal Completions of the Lambda Calculus. CoRR (2018)
Patrick Bahr
Convergence in infinitary term graph rewriting systems is simple. Math. Struct. Comput. Sci. 28 (8) (2018)
Patrick Bahr
Strict Ideal Completions of the Lambda Calculus. FSCD (2018)
Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg
The clocks are ticking: No more delays! LICS (2017)
Patrick Bahr, Emil Axelsson
Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain. Sci. Comput. Program. 137 (2017)
Graham Hutton, Patrick Bahr
Compiling a 50-year journey. J. Funct. Program. 27 (2017)
Patrick Bahr
Böhm Reduction in Infinitary Term Graph Rewriting Systems. FSCD (2017)
Graham Hutton, Patrick Bahr
Cutting Out Continuations. A List of Successes That Can Change the World (2016)
Patrick Bahr, Jost Berthold, Martin Elsman
Certified symbolic management of financial multi-party contracts. ICFP (2015)
Patrick Bahr, Emil Axelsson
Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain. PEPM (2015)
Alejandro Serrano, Jurriaan Hage, Patrick Bahr
Type families with class, type classes with family. Haskell (2015)
Patrick Bahr
Calculating Certified Compilers for Non-deterministic Languages. MPC (2015)
Patrick Bahr, Graham Hutton
Calculating correct compilers. J. Funct. Program. 25 (2015)
Jesper Andersen, Patrick Bahr, Fritz Henglein, Tom Hvitved
Domain-Specific Languages for Enterprise Systems. ISoLA (1) (2014)
Patrick Bahr
Partial Order Infinitary Term Rewriting. Log. Methods Comput. Sci. 10 (2) (2014)
Patrick Bahr
Composing and decomposing data types: a closed type families implementation of data types à la carte. WGP@ICFP (2014)
Patrick Bahr
Proving Correctness of Compilers Using Structured Graphs. FLOPS (2014)
Patrick Bahr
Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract) TERMGRAPH (2013)
Patrick Bahr, Laurence E. Day
Programming macro tree transducers. WGP@ICFP (2013)
Patrick Bahr
Modular Tree Automata. MPC (2012)
Patrick Bahr, Tom Hvitved
Parametric Compositional Data Types MSFP (2012)
Patrick Bahr
Infinitary Term Graph Rewriting is Simple, Sound and Complete. RTA (2012)
Patrick Bahr
Modes of Convergence for Term Graph Rewriting Log. Methods Comput. Sci. 8 (2) (2012)
Patrick Bahr, Tom Hvitved
Compositional data types. WGP@ICFP (2011)
Patrick Bahr
Infinitary Term Graph Rewriting CoRR (2011)
Patrick Bahr
Modes of Convergence for Term Graph Rewriting. RTA (2011)
Patrick Bahr
Abstract Models of Transfinite Reductions. RTA (2010)
Patrick Bahr
Partial Order Infinitary Term Rewriting and Böhm Trees. RTA (2010)