Patrick Bahr IT University of Copenhagen

[see also: Google Scholar · DBLP]

publications by year · publications by type · publications by topic

Journals
[J13]
Patrick Bahr and Graham Hutton
Proc. ACM Program. Lang., 7(ICFP), 2023.
[J12]
Patrick Bahr and Rasmus Ejlers Møgelberg
Proc. ACM Program. Lang., 7(ICFP), 2023.
[J11]
Patrick Bahr
Journal of Functional Programming, 32(e15), 2022.
[J10]
Patrick Bahr and Graham Hutton
Proc. ACM Program. Lang., 6(ICFP), 2022.
[J9]
Patrick Bahr, Christian Uldal Graulund and Rasmus Ejlers Møgelberg
Proc. ACM Program. Lang., 5(POPL), 2021.
[J8]
Patrick Bahr and Graham Hutton
Journal of Functional Programming, 30(e25), 2020.
[J7]
Patrick Bahr, Christian Uldal Graulund and Rasmus Ejlers Møgelberg
Proc. ACM Program. Lang., 3(ICFP), p. 109:1-109:27, 2019.
[J6]
Patrick Bahr
Mathematical Structures in Computer Science, p. 1–52, 2018.
[J5]
Graham Hutton and Patrick Bahr
Journal of Functional Programming, 27, 2017.
[J4]
Patrick Bahr and Emil Axelsson
Science of Computer Programming, 137, p. 63 - 97, 2017.
[J3]
Patrick Bahr and Graham Hutton
Journal of Functional Programming, 25, 2015.
[J2]
Patrick Bahr
Logical Methods in Computer Science, 10(2), 2014.
[J1]
Patrick Bahr
Logical Methods in Computer Science, 8(2), 2012.
Conferences and Symposia
[C15]
Patrick Bahr, Emil Houlborg and Gregers Thomas Skat Rørdam
Practical Aspects of Declarative Languages, p. 18-36, 2024.
[C14]
Patrick Bahr
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), p. 8:1-8:16, 2018.
[C13]
Patrick Bahr
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), p. 8:1-8:20, 2017.
[C12]
Patrick Bahr, Hans Bugge Grathwohl and Rasmus Ejlers Møgelberg
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017.
[C11]
Patrick Bahr, Jost Berthold and Martin Elsman
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015.
[C10]
Alejandro Serrano, Jurriaan Hage and Patrick Bahr
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, p. 129-140, 2015.
[C9]
Patrick Bahr
Mathematics of Program Construction, p. 159-186, 2015.
[C8]
Patrick Bahr and Emil Axelsson
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015.
[C7]
Jesper Andersen, Patrick Bahr, Fritz Henglein and Tom Hvitved
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, p. 73-95, 2014.
[C6]
Patrick Bahr
Functional and Logic Programming, p. 221-237, 2014.
[C5]
Patrick Bahr
Mathematics of Program Construction, p. 263-299, 2012.
[C4]
Patrick Bahr
23rd International Conference on Rewriting Techniques and Applications (RTA'12), p. 69-84, 2012.
[C3]
Patrick Bahr
22nd International Conference on Rewriting Techniques and Applications (RTA'11), p. 139-154, 2011.
[C2]
Patrick Bahr
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 67-84, 2010.
Best Contribution to RTA 2010
Paper of the Year of the Department of Computer Science (DIKU)
[C1]
Patrick Bahr
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 49-66, 2010.
Best Contribution to RTA 2010
Workshops
[W5]
Patrick Bahr
Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming, p. 71-82, 2014.
[W4]
Patrick Bahr and Laurence E. Day
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013.
[W3]
Patrick Bahr
Proceedings 7th International Workshop on Computing with Terms and Graphs, p. 17-28, 2013.
[W2]
Patrick Bahr and Tom Hvitved
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012.
[W1]
Patrick Bahr and Tom Hvitved
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011.
Lightly Refereed Workshops and Conferences
[L6]
Patrick Bahr, Bassel Mannaa and Rasmus Ejlers Møgelberg
Programming And Reasoning on Infinite Structures, 2018.
[L5]
Patrick Bahr, Jost Berthold and Martin Elsman
Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.
[L4]
Laurence E. Day and Patrick Bahr
TFP '14 pre-proceedings, 2014.
[L3]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 38-40, 2011.
[L2]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 24-26, 2011.
[L1]
Patrick Bahr
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.
Book Chapter
[I1]
Graham Hutton and Patrick Bahr
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Preprints
[S1]
Patrick Bahr and Graham Hutton
Submitted for peer review.
Technical Reports
[R3]
Tom Hvitved, Patrick Bahr and Jesper Andersen
Technical Report, Department of Computer Science, University of Copenhagen, 2011.
[R2]
Patrick Bahr
Technical Report, University of Copenhagen, 2011.
[R1]
Patrick Bahr
Technical Report, NICTA, 2008.
Theses
[T3]
Patrick Bahr
Ph.D. Dissertation, Department of Computer Science, University of Copenhagen, 2012.
[T2]
Patrick Bahr
Master's Thesis, Vienna University of Technology, 2009.
[T1]
Patrick Bahr
Bachelor's Thesis, Dresden University of Technology, 2007.
Miscellaneous
[M1]
Patrick Bahr
Student Project, Dresden University of Technology, 2007.