Proc. ACM Program. Lang., 8(ICFP), 2024.

Proc. ACM Program. Lang., 7(ICFP), 2023.

Proc. ACM Program. Lang., 7(ICFP), 2023.

Journal of Functional Programming, 32(e15), 2022.

Proc. ACM Program. Lang., 6(ICFP), 2022.

Proc. ACM Program. Lang., 5(POPL), 2021.

Journal of Functional Programming, 30(e25), 2020.

Proc. ACM Program. Lang., 3(ICFP), p. 109:1-109:27, 2019.

Mathematical Structures in Computer Science, p. 1–52, 2018.

Journal of Functional Programming, 27, 2017.

Science of Computer Programming, 137, p. 63 - 97, 2017.

Journal of Functional Programming, 25, 2015.

Logical Methods in Computer Science, 10(2), 2014.

Logical Methods in Computer Science, 8(2), 2012.

Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, p. 109–119, 2024.

Practical Aspects of Declarative Languages, p. 18-36, 2024.

3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), p. 8:1-8:16, 2018.

2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), p. 8:1-8:20, 2017.

32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017.

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.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, p. 73-95, 2014.

Functional and Logic Programming, p. 221-237, 2014.

Mathematics of Program Construction, p. 263-299, 2012.

23rd International Conference on Rewriting Techniques and Applications (RTA'12), p. 69-84, 2012.

22nd International Conference on Rewriting Techniques and Applications (RTA'11), p. 139-154, 2011.

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 67-84, 2010.

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 49-66, 2010.

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 7th International Workshop on Computing with Terms and Graphs, p. 17-28, 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.

Programming And Reasoning on Infinite Structures, 2018.

Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.

TFP '14 pre-proceedings, 2014.

Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 38-40, 2011.

Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 24-26, 2011.

Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Submitted for peer review, November 2024.

Submitted for peer review, July 2024.

Technical Report, Department of Computer Science, University of Copenhagen, 2011.

Technical Report, University of Copenhagen, 2011.

Technical Report, NICTA, 2008.

Ph.D. Dissertation, Department of Computer Science, University of Copenhagen, 2012.

Master's Thesis, Vienna University of Technology, 2009.

Bachelor's Thesis, Dresden University of Technology, 2007.

Student Project, Dresden University of Technology, 2007.