Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, p. 129-140, 2015.
Mathematics of Program Construction, p. 159-186, 2015.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015.
Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.
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.
Talk, Utrecht University, Software Technology Group Meeting, 2014/06/20.
Functional and Logic Programming, p. 221-237, 2014.
Talk, IFIP Working Group 2.1 Meeting, Zeegse, The Netherlands, 24/03/2014.
Talk, 22nd Dutch Functional Programming Day 2014, University of Amsterdam, The Netherlands, 10/01/2014.
Talk, IT University of Copenhagen, 02/12/2013.
Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 11/10/2013.
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013.
Talk, Functional Programming Lab Away Day, Cressbrook Hall, Buxton, England, 13/06/2013.
Mathematics of Program Construction, p. 263-299, 2012.
Talk, Computing Science Colloquium, Utrecht University, The Netherlands, 12/04/2012.
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012.
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011.