Follow
Patrick Bahr
Title
Cited by
Cited by
Year
Compositional data types
P Bahr, T Hvitved
ACM SIGPLAN Workshop on Generic programming, 83-94, 2011
602011
The clocks are ticking: No more delays!
P Bahr, HB Grathwohl, RE Møgelberg
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
512017
Certified Symbolic Management of Financial Multi-Party Contracts
P Bahr, J Berthold, M Elsman
20th ACM SIGPLAN International Conference on Functional Programming, 2015
412015
Calculating correct compilers
P Bahr, G Hutton
Journal of Functional Programming, 2015
352015
Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks
P Bahr, CU Graulund, RE Møgelberg
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-27, 2019
312019
Partial order infinitary term rewriting and böhm trees
P Bahr
242010
Compiling a 50-year journey
G Hutton, P Bahr
Journal of Functional Programming 27, e20, 2017
20*2017
Parametric Compositional Data Types
P Bahr, T Hvitved
Workshop on Mathematically Structured Functional Programming 2012, 2012
202012
Abstract models of transfinite reductions
P Bahr
RTA 6, 49-66, 2010
192010
Diamonds are not forever: liveness in reactive programming with guarded recursion
P Bahr, CU Graulund, RE Møgelberg
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
182021
Composing and decomposing data types: a closed type families implementation of data types à la carte
P Bahr
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 71-82, 2014
182014
Programming macro tree transducers
P Bahr, LE Day
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 61-72, 2013
162013
Infinitary term graph rewriting is simple, sound and complete
P Bahr
23rd International Conference on Rewriting Techniques and Applications (RTA …, 2012
132012
Modular tree automata
P Bahr
International Conference on Mathematics of Program Construction, 263-299, 2012
102012
Calculating correct compilers II: Return of the register machines
P Bahr, G Hutton
Journal of Functional Programming 30, 2020
92020
Domain-specific languages for enterprise systems
J Andersen, P Bahr, F Henglein, T Hvitved
International Symposium On Leveraging Applications of Formal Methods …, 2014
82014
Monadic compiler calculation (functional pearl)
P Bahr, G Hutton
Proceedings of the ACM on Programming Languages 6 (ICFP), 80-108, 2022
72022
Modal FRP for all: Functional reactive programming without space leaks in Haskell
P Bahr
Journal of Functional Programming 32 (e15), 2022
72022
Type Families with Class, Type Classes with Family
A Serrano, J Hage, P Bahr
8th ACM SIGPLAN Symposium on Haskell, 129-140, 2015
72015
Modes of Convergence for Term Graph Rewriting
P Bahr
22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011
72011
The system can't perform the operation now. Try again later.
Articles 1–20