Patrick Bahr - RankMe

47 papers A* 1A 1B 4C 6Misc 1Journal 20Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic. PADL Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr
2025	—	`conf`	Functional Reactive GUI Programming with Modal Types. TFP Jean-Claude Disch, Asger Heegaard, Patrick Bahr
2025	J	`jnl`	Simple Modal Types for Functional Reactive Programming. CoRR Patrick Bahr
2025	C	`conf`	The Calculated Typer (Functional Pearl). Haskell Zac Garby, Patrick Bahr, Graham Hutton
2024	C	`conf`	Asynchronous Reactive Programming with Modal Types in Haskell. PADL Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam
2024	J	`jnl`	Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl). Proc. ACM Program. Lang. Patrick Bahr, Graham Hutton
2024	C	`conf`	Calculating Compilers Effectively (Functional Pearl). Haskell Zac Garby, Graham Hutton, Patrick Bahr
2023	J	`jnl`	Asynchronous Modal FRP. CoRR Patrick Bahr, Rasmus Ejlers Møgelberg
2023	J	`jnl`	Asynchronous Modal FRP. Proc. ACM Program. Lang. Patrick Bahr, Rasmus Ejlers Møgelberg
2023	J	`jnl`	Calculating Compilers for Concurrency. Proc. ACM Program. Lang. Patrick Bahr, Graham Hutton
2022	J	`jnl`	Modal FRP for all: Functional reactive programming without space leaks in Haskell. J. Funct. Program. Patrick Bahr
2022	J	`jnl`	Monadic compiler calculation (functional pearl). Proc. ACM Program. Lang. Patrick Bahr, Graham Hutton
2021	J	`jnl`	Diamonds are not forever: liveness in reactive programming with guarded recursion. Proc. ACM Program. Lang. Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg
2021	—	`ed.`	Proceedings 11th International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2020, Online, 5th July 2020. TERMGRAPH@FSCD Patrick Bahr
2020	J	`jnl`	Calculating correct compilers II: Return of the register machines. J. Funct. Program. Patrick Bahr, Graham Hutton
2020	J	`jnl`	Diamonds are not forever: Liveness in reactive programming with guarded recursion. CoRR Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg
2019	J	`jnl`	Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming. CoRR Patrick Bahr, Christian Graulund, Rasmus Ejlers Møgelberg
2019	J	`jnl`	Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks. Proc. ACM Program. Lang. Patrick Bahr, Christian Graulund, Rasmus Ejlers Møgelberg
2018	J	`jnl`	Convergence in infinitary term graph rewriting systems is simple. Math. Struct. Comput. Sci. Patrick Bahr
2018	B	`conf`	Strict Ideal Completions of the Lambda Calculus. FSCD Patrick Bahr
2018	J	`jnl`	Strict Ideal Completions of the Lambda Calculus. CoRR Patrick Bahr
2017	B	`conf`	Böhm Reduction in Infinitary Term Graph Rewriting Systems. FSCD Patrick Bahr
2017	J	`jnl`	Compiling a 50-year journey. J. Funct. Program. Graham Hutton, Patrick Bahr
2017	J	`jnl`	Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain. Sci. Comput. Program. Patrick Bahr, Emil Axelsson
2017	A*	`conf`	The clocks are ticking: No more delays! LICS Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg
2016	—	`conf`	Cutting Out Continuations. A List of Successes That Can Change the World Graham Hutton, Patrick Bahr
2015	B	`conf`	Calculating Certified Compilers for Non-deterministic Languages. MPC Patrick Bahr
2015	J	`jnl`	Calculating correct compilers. J. Funct. Program. Patrick Bahr, Graham Hutton
2015	A	`conf`	Certified symbolic management of financial multi-party contracts. ICFP Patrick Bahr, Jost Berthold, Martin Elsman
2015	C	`conf`	Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain. PEPM Patrick Bahr, Emil Axelsson
2015	—	`ed.`	Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015 WGP@ICFP Patrick Bahr, Sebastian Erdweg
2015	C	`conf`	Type families with class, type classes with family. Haskell Alejandro Serrano, Jurriaan Hage, Patrick Bahr
2014	—	`conf`	Composing and decomposing data types: a closed type families implementation of data types à la carte. WGP@ICFP Patrick Bahr
2014	—	`conf`	Domain-Specific Languages for Enterprise Systems. ISoLA (1) Jesper Andersen, Patrick Bahr, Fritz Henglein, Tom Hvitved
2014	J	`jnl`	Partial Order Infinitary Term Rewriting. Log. Methods Comput. Sci. Patrick Bahr
2014	Misc	`conf`	Proving Correctness of Compilers Using Structured Graphs. FLOPS Patrick Bahr
2013	—	`conf`	Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract) TERMGRAPH Patrick Bahr
2013	—	`conf`	Programming macro tree transducers. WGP@ICFP Patrick Bahr, Laurence E. Day
2012	—	`conf`	Infinitary Term Graph Rewriting is Simple, Sound and Complete. RTA Patrick Bahr
2012	J	`jnl`	Modes of Convergence for Term Graph Rewriting Log. Methods Comput. Sci. Patrick Bahr
2012	B	`conf`	Modular Tree Automata. MPC Patrick Bahr
2012	—	`conf`	Parametric Compositional Data Types MSFP Patrick Bahr, Tom Hvitved
2011	—	`conf`	Compositional data types. WGP@ICFP Patrick Bahr, Tom Hvitved
2011	J	`jnl`	Infinitary Term Graph Rewriting CoRR Patrick Bahr
2011	—	`conf`	Modes of Convergence for Term Graph Rewriting. RTA Patrick Bahr
2010	—	`conf`	Abstract Models of Transfinite Reductions. RTA Patrick Bahr
2010	—	`conf`	Partial Order Infinitary Term Rewriting and Böhm Trees. RTA Patrick Bahr