| Compositional data types P Bahr, T Hvitved ACM SIGPLAN Workshop on Generic programming, 83-94, 2011 | 61 | 2011 |
| 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 | 50 | 2017 |
| Certified Symbolic Management of Financial Multi-Party Contracts P Bahr, J Berthold, M Elsman 20th ACM SIGPLAN International Conference on Functional Programming, 2015 | 40 | 2015 |
| Calculating correct compilers P Bahr, G Hutton Journal of Functional Programming, 2015 | 35 | 2015 |
| 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 | 31 | 2019 |
| Partial order infinitary term rewriting and böhm trees P Bahr | 23 | 2010 |
| Parametric Compositional Data Types P Bahr, T Hvitved Workshop on Mathematically Structured Functional Programming 2012, 2012 | 20 | 2012 |
| 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 | 18 | 2014 |
| Abstract models of transfinite reductions P Bahr RTA 6, 49-66, 2010 | 18 | 2010 |
| Programming macro tree transducers P Bahr, LE Day Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 61-72, 2013 | 17* | 2013 |
| 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 | 16 | 2021 |
| Infinitary term graph rewriting is simple, sound and complete P Bahr 23rd International Conference on Rewriting Techniques and Applications (RTA …, 2012 | 12 | 2012 |
| Modular tree automata P Bahr International Conference on Mathematics of Program Construction, 263-299, 2012 | 10 | 2012 |
| Calculating correct compilers II: Return of the register machines P Bahr, G Hutton Journal of Functional Programming 30, 2020 | 9 | 2020 |
| Compiling a 50-year journey G Hutton, P Bahr Journal of Functional Programming 27, e20, 2017 | 8* | 2017 |
| Domain-specific languages for enterprise systems J Andersen, P Bahr, F Henglein, T Hvitved International Symposium On Leveraging Applications of Formal Methods …, 2014 | 8 | 2014 |
| Type Families with Class, Type Classes with Family A Serrano, J Hage, P Bahr 8th ACM SIGPLAN Symposium on Haskell, 129-140, 2015 | 7 | 2015 |
| Modes of Convergence for Term Graph Rewriting P Bahr 22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011 | 7 | 2011 |
| Modal FRP for all: Functional reactive programming without space leaks in Haskell P Bahr Journal of Functional Programming 32 (e15), 2022 | 6 | 2022 |
| Infinitary Rewriting - Theory and Applications P Bahr Master's thesis, Vienna University of Technology, Vienna, 2009, 2009 | 6 | 2009 |
Rasmus MøgelbergIT University of CopenhagenVerified email at itu.dk
