| Compositional data types P Bahr, T Hvitved ACM SIGPLAN Workshop on Generic programming, 83-94, 2011 | 62 | 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 | 55 | 2017 |
| Certified Symbolic Management of Financial Multi-Party Contracts P Bahr, J Berthold, M Elsman 20th ACM SIGPLAN International Conference on Functional Programming, 2015 | 43 | 2015 |
| Calculating correct compilers P Bahr, G Hutton Journal of Functional Programming, 2015 | 42 | 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 | 35 | 2019 |
| Partial order infinitary term rewriting and böhm trees P Bahr | 24 | 2010 |
| Parametric Compositional Data Types P Bahr, T Hvitved Workshop on Mathematically Structured Functional Programming 2012, 2012 | 21 | 2012 |
| 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 | 20 | 2021 |
| Abstract models of transfinite reductions P Bahr RTA 6, 49-66, 2010 | 19 | 2010 |
| 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 |
| Calculating correct compilers II: Return of the register machines P Bahr, G Hutton Journal of Functional Programming 30, 2020 | 14 | 2020 |
| Infinitary term graph rewriting is simple, sound and complete P Bahr 23rd International Conference on Rewriting Techniques and Applications (RTA …, 2012 | 13 | 2012 |
| Modal FRP for all: Functional reactive programming without space leaks in Haskell P Bahr Journal of Functional Programming 32 (e15), 2022 | 11 | 2022 |
| Modular tree automata P Bahr International Conference on Mathematics of Program Construction, 263-299, 2012 | 10 | 2012 |
| Asynchronous Modal FRP P Bahr, RE Møgelberg Proceedings of the ACM on Programming Languages 7 (ICFP), 2023 | 9 | 2023 |
| Programming macro tree transducers P Bahr, LE Day Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 61-72, 2013 | 9 | 2013 |
| Monadic compiler calculation (functional pearl) P Bahr, G Hutton Proceedings of the ACM on Programming Languages 6 (ICFP), 80-108, 2022 | 8 | 2022 |
| 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 |
| Calculating compilers for concurrency P Bahr, G Hutton Proceedings of the ACM on Programming Languages 7 (ICFP), 740-767, 2023 | 7 | 2023 |
Rasmus MøgelbergIT University of Copenhagen在 itu.dk 的电子邮件经过验证
