Patrick Bahr
Patrick Bahr
Associate Professor, IT University of Copenhagen
Verified email at itu.dk - Homepage
Title
Cited by
Cited by
Year
Compositional data types
P Bahr, T Hvitved
ACM SIGPLAN Workshop on Generic programming, 83-94, 2011
492011
Certified Symbolic Management of Financial Multi-Party Contracts
P Bahr, J Berthold, M Elsman
20th ACM SIGPLAN International Conference on Functional Programming, 2015
352015
The clocks are ticking: No more delays!
P Bahr, HB Grathwohl, RE Møgelberg
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
342017
Calculating correct compilers
P Bahr, G Hutton
Journal of Functional Programming, 2015
262015
Partial order infinitary term rewriting and böhm trees
P Bahr
232010
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
192019
Abstract models of transfinite reductions
P Bahr
RTA 6, 49-66, 2010
182010
Parametric Compositional Data Types
P Bahr, T Hvitved
Workshop on Mathematically Structured Functional Programming 2012, 2012
172012
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
142014
Programming macro tree transducers
P Bahr, LE Day
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 61-72, 2013
14*2013
Infinitary term graph rewriting is simple, sound and complete
P Bahr
23rd International Conference on Rewriting Techniques and Applications (RTA …, 2012
122012
Modular tree automata
P Bahr
International Conference on Mathematics of Program Construction, 263-299, 2012
92012
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
Calculating correct compilers II: Return of the register machines
P Bahr, G Hutton
Journal of Functional Programming 30, 2020
62020
Domain-specific languages for enterprise systems
J Andersen, P Bahr, F Henglein, T Hvitved
International Symposium On Leveraging Applications of Formal Methods …, 2014
62014
Infinitary Rewriting - Theory and Applications
P Bahr
Master's thesis, Vienna University of Technology, Vienna, 2009, 2009
62009
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
52021
Compiling a 50-year journey
G Hutton, P Bahr
Journal of Functional Programming 27, 2017
52017
Proving correctness of compilers using structured graphs
P Bahr
International Symposium on Functional and Logic Programming, 221-237, 2014
52014
The system can't perform the operation now. Try again later.
Articles 1–20