| 2026 | PADL | Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic. | Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr |
| 2025 | HASKELL | The Calculated Typer (Functional Pearl). | Zac Garby, Patrick Bahr, Graham Hutton |
| 2024 | HASKELL | Calculating Compilers Effectively (Functional Pearl). | Zac Garby, Graham Hutton, Patrick Bahr |
| 2024 | PADL | Asynchronous Reactive Programming with Modal Types in Haskell. | Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rrdam |
| 2017 | LICS | The clocks are ticking: No more delays! | Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Mgelberg |
| 2015 | HASKELL | Type families with class, type classes with family. | Alejandro Serrano, Jurriaan Hage, Patrick Bahr |
| 2015 | ICFP | Certified symbolic management of financial multi-party contracts. | Patrick Bahr, Jost Berthold, Martin Elsman |
| 2015 | MPC | Calculating Certified Compilers for Non-deterministic Languages. | Patrick Bahr |
| 2015 | PEPM | Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain. | Patrick Bahr, Emil Axelsson |
| 2014 | FLOPS | Proving Correctness of Compilers Using Structured Graphs. | Patrick Bahr |
| 2014 | ICFP | Composing and decomposing data types: a closed type families implementation of data types la carte. | Patrick Bahr |
| 2014 | ISoLA | Domain-Specific Languages for Enterprise Systems. | Jesper Andersen, Patrick Bahr, Fritz Henglein, Tom Hvitved |
| 2013 | ICFP | Programming macro tree transducers. | Patrick Bahr, Laurence E. Day |
| 2012 | MPC | Modular Tree Automata. | Patrick Bahr |
| 2011 | ICFP | Compositional data types. | Patrick Bahr, Tom Hvitved |