talks by year · talks by type · talks by topic
[C11] | Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015. |
[C10] | Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, p. 129-140, 2015. |
[C9] | Mathematics of Program Construction, p. 159-186, 2015. |
[C8] | Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015. |
[C7] | Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014. |
[C6] | Composing and Decomposing Data Types: A Closed Type Families Implementation of Data Types à La Carte Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming, p. 71-82, 2014. |
[M7] | Talk, Utrecht University, Software Technology Group Meeting, 2014/06/20. |
[C5] | Functional and Logic Programming, p. 221-237, 2014. |
[M6] | Talk, IFIP Working Group 2.1 Meeting, Zeegse, The Netherlands, 24/03/2014. |
[M5] | Talk, 22nd Dutch Functional Programming Day 2014, University of Amsterdam, The Netherlands, 10/01/2014. |
[M4] | Talk, IT University of Copenhagen, 02/12/2013. |
[M3] | Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 11/10/2013. |
[C4] | Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013. |
[M2] | Talk, Functional Programming Lab Away Day, Cressbrook Hall, Buxton, England, 13/06/2013. |
[C3] | Mathematics of Program Construction, p. 263-299, 2012. |
[M1] | Talk, Computing Science Colloquium, Utrecht University, The Netherlands, 12/04/2012. |
[C2] | Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012. |
[C1] | Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011. |