publications by year · publications by type · publications by topic
[J1] | Journal of Functional Programming, 25, 2015. |
[C6] | Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015. |
[C5] | Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, p. 129-140, 2015. |
[C4] | Mathematics of Program Construction, p. 159-186, 2015. |
[C3] | Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015. |
[C2] | Functional and Logic Programming, p. 221-237, 2014. |
[C1] | Mathematics of Program Construction, p. 263-299, 2012. |
[W4] | 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. |
[W3] | Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013. |
[W2] | Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012. |
[W1] | Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011. |
[L1] | Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014. |
[I1] | A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday |
[T1] | Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting Ph.D. Dissertation, Department of Computer Science, University of Copenhagen, 2012. |