Journal of Functional Programming, 25, 2015.
Conferences and Symposia
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.
Functional and Logic Programming, p. 221-237, 2014.
Mathematics of Program Construction, p. 263-299, 2012.
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.
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013.
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.
Lightly Refereed Workshops and Conferences
Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting
Ph.D. Dissertation, Department of Computer Science, University of Copenhagen, 2012.