Publications

publications by year · publications by type · publications by topic

Journals
[J1]
Patrick Bahr and Graham Hutton
Journal of Functional Programming, 25, 2015.
Conferences and Symposia
[C6]
Patrick Bahr, Jost Berthold and Martin Elsman
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015.
[C5]
Alejandro Serrano, Jurriaan Hage and Patrick Bahr
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, p. 129-140, 2015.
[C4]
Patrick Bahr
Mathematics of Program Construction, p. 159-186, 2015.
[C3]
Patrick Bahr and Emil Axelsson
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015.
[C2]
Patrick Bahr
Functional and Logic Programming, p. 221-237, 2014.
[C1]
Patrick Bahr
Mathematics of Program Construction, p. 263-299, 2012.
Workshops
[W4]
Patrick Bahr
Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming, p. 71-82, 2014.
[W3]
Patrick Bahr and Laurence E. Day
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 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
[L1]
Patrick Bahr, Jost Berthold and Martin Elsman
Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.
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
Theses
[T1]
Patrick Bahr
Ph.D. Dissertation, Department of Computer Science, University of Copenhagen, 2012.