Talks

talks by year · talks by type · talks by topic

2015
[C11]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015.
[C10]
Patrick Bahr, presenting joint work with Alejandro Serrano and Jurriaan Hage
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, presenting joint work with Emil Axelsson
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015.
2014
[C7]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.
[C6]
Patrick Bahr
Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming, p. 71-82, 2014.
[M7]
Patrick Bahr
Talk, Utrecht University, Software Technology Group Meeting, 2014/06/20.
[C5]
Patrick Bahr
Functional and Logic Programming, p. 221-237, 2014.
[M6]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, IFIP Working Group 2.1 Meeting, Zeegse, The Netherlands, 24/03/2014.
[M5]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, 22nd Dutch Functional Programming Day 2014, University of Amsterdam, The Netherlands, 10/01/2014.
2013
[M4]
Patrick Bahr
Talk, IT University of Copenhagen, 02/12/2013.
[M3]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 11/10/2013.
[C4]
Patrick Bahr, presenting joint work with Laurence E. Day
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013.
[M2]
Patrick Bahr, presenting joint work with Laurence E. Day
Talk, Functional Programming Lab Away Day, Cressbrook Hall, Buxton, England, 13/06/2013.
2012
[C3]
Patrick Bahr
Mathematics of Program Construction, p. 263-299, 2012.
[M1]
Patrick Bahr
Talk, Computing Science Colloquium, Utrecht University, The Netherlands, 12/04/2012.
[C2]
Patrick Bahr, presenting joint work with Tom Hvitved
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012.
2011
[C1]
Patrick Bahr, presenting joint work with Tom Hvitved
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011.