Publications

[see also: Google Scholar · DBLP]

publications by year · publications by type · publications by topic

Compilers
[J5]
Graham Hutton and Patrick Bahr
Journal of Functional Programming, 27, 2017.
[J3]
Patrick Bahr and Graham Hutton
Journal of Functional Programming, 25, 2015.
[C9]
Patrick Bahr
Mathematics of Program Construction, p. 159-186, 2015.
[L4]
Laurence E. Day and Patrick Bahr
TFP '14 pre-proceedings, 2014.
[C6]
Patrick Bahr
Functional and Logic Programming, p. 221-237, 2014.
Domain-specific Languages
[C11]
Patrick Bahr, Jost Berthold and Martin Elsman
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015.
[L5]
Patrick Bahr, Jost Berthold and Martin Elsman
Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.
[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.
[T3]
Patrick Bahr
Ph.D. Dissertation, Department of Computer Science, University of Copenhagen, 2012.
[R3]
Tom Hvitved, Patrick Bahr and Jesper Andersen
Technical Report, Department of Computer Science, University of Copenhagen, 2011.
[L2]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 24-26, 2011.
Formal Verification
[J5]
Graham Hutton and Patrick Bahr
Journal of Functional Programming, 27, 2017.
[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
[J3]
Patrick Bahr and Graham Hutton
Journal of Functional Programming, 25, 2015.
[C11]
Patrick Bahr, Jost Berthold and Martin Elsman
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015.
[C9]
Patrick Bahr
Mathematics of Program Construction, p. 159-186, 2015.
[L5]
Patrick Bahr, Jost Berthold and Martin Elsman
Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.
[C6]
Patrick Bahr
Functional and Logic Programming, p. 221-237, 2014.
[R1]
Patrick Bahr
Technical Report, NICTA, 2008.
[T1]
Patrick Bahr
Bachelor's Thesis, Dresden University of Technology, 2007.
Recursion Schemes
[J4]
Patrick Bahr and Emil Axelsson
Science of Computer Programming, 137, p. 63 - 97, 2017.
[C8]
Patrick Bahr and Emil Axelsson
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015.
[W5]
Patrick Bahr
Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming, p. 71-82, 2014.
[L4]
Laurence E. Day and Patrick Bahr
TFP '14 pre-proceedings, 2014.
[W4]
Patrick Bahr and Laurence E. Day
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013.
[C5]
Patrick Bahr
Mathematics of Program Construction, p. 263-299, 2012.
[W2]
Patrick Bahr and Tom Hvitved
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012.
[L3]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 38-40, 2011.
[W1]
Patrick Bahr and Tom Hvitved
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011.
[L1]
Patrick Bahr
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.
Rewriting
[C13]
Patrick Bahr
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), p. 8:1-8:20, 2017.
[J2]
Patrick Bahr
Logical Methods in Computer Science, 10(2), 2014.
[W3]
Patrick Bahr
Proceedings 7th International Workshop on Computing with Terms and Graphs, p. 17-28, 2013.
[A1]
Patrick Bahr
Math. Struct. in Comp. Science, to appear.
[T3]
Patrick Bahr
Ph.D. Dissertation, Department of Computer Science, University of Copenhagen, 2012.
[J1]
Patrick Bahr
Logical Methods in Computer Science, 8(2), 2012.
[C4]
Patrick Bahr
23rd International Conference on Rewriting Techniques and Applications (RTA'12), p. 69-84, 2012.
[R2]
Patrick Bahr
Technical Report, University of Copenhagen, 2011.
[C3]
Patrick Bahr
22nd International Conference on Rewriting Techniques and Applications (RTA'11), p. 139-154, 2011.
[C1]
Patrick Bahr
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 49-66, 2010.
Best Contribution to RTA 2010
[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)
[T2]
Patrick Bahr
Master's Thesis, Vienna University of Technology, 2009.
[T1]
Patrick Bahr
Bachelor's Thesis, Dresden University of Technology, 2007.
Type Systems
[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.
[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.
[T3]
Patrick Bahr
Ph.D. Dissertation, Department of Computer Science, University of Copenhagen, 2012.
[W2]
Patrick Bahr and Tom Hvitved
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012.
[L3]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 38-40, 2011.
[W1]
Patrick Bahr and Tom Hvitved
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011.
[L1]
Patrick Bahr
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.
Miscellaneous
[M1]
Patrick Bahr
Student Project, Dresden University of Technology, 2007.