| [C31] | Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, p. 109–119, 2024. |
| [C30] | Practical Aspects of Declarative Languages, p. 18-36, 2024. |
| [C28] | 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) |
| [C29] | 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) |
| [C27] | 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) |
| [C26] | 27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022) |
| [C25] | 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021) |
| [C24] | 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), p. 8:1-8:16, 2018. |
| [C23] | Programming And Reasoning on Infinite Structures, 2018. |
| [I2] | Invited Talk, 6th International Workshop on Confluence, 8/9/2017. |
| [C22] | 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), p. 8:1-8:20, 2017. |
| [C21] | 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017. |
| [M17] | Talk, 23rd International Conference on Types for Proofs and Programs, Budapest, Hungary, 31/05/2017. |
| [M16] | Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 16/09/2016. |
| [M15] | Talk, IFIP Working Group 2.1 Meeting, Glasgow, UK, 15/06/2016. |
| [C20] | Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015. |
| [C19] | Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, p. 129-140, 2015. |
| [M14] | Talk, FP Lunch, School of Computer Science, University of Nottingham, 17/07/2015. |
| [C18] | Mathematics of Program Construction, p. 159-186, 2015. |
| [C17] | Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015. |
| [M13] | Talk, HIPERFIT Workshop, 10/12/2014. |
| [M12] | Talk, Language-Based Technology Group, DTU, 1/12/2014. |
| [C16] | Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014. |
| [C15] | Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, p. 73-95, 2014. |
| [C14] | 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. |
| [M11] | Talk, Utrecht University, Software Technology Group Meeting, 2014/06/20. |
| [C13] | Functional and Logic Programming, p. 221-237, 2014. |
| [M10] | Talk, IFIP Working Group 2.1 Meeting, Zeegse, The Netherlands, 24/03/2014. |
| [M9] | Talk, 22nd Dutch Functional Programming Day 2014, University of Amsterdam, The Netherlands, 10/01/2014. |
| [M8] | Talk, IT University of Copenhagen, 02/12/2013. |
| [M7] | Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 11/10/2013. |
| [C12] | Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013. |
| [M6] | Talk, Functional Programming Lab Away Day, Cressbrook Hall, Buxton, England, 13/06/2013. |
| [C11] | Proceedings 7th International Workshop on Computing with Terms and Graphs, p. 17-28, 2013. |
| [C10] | Mathematics of Program Construction, p. 263-299, 2012. |
| [C9] | 23rd International Conference on Rewriting Techniques and Applications (RTA'12), p. 69-84, 2012. |
| [M5] | Talk, Computing Science Colloquium, Utrecht University, The Netherlands, 12/04/2012. |
| [M4] | Talk, TF Lunch, Utrecht University, The Netherlands, 04/04/2012. |
| [M3] | Talk, TeReSe: 17th Informal Workshop on Term Rewriting, Aachen, Germany, 28/03/2012. |
| [M2] | Talk, TCS and PAM Seminar, VU University Amsterdam, 24/02/2012. |
| [C8] | Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012. |
| [C6] | Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 24-26, 2011. |
| [C7] | Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 38-40, 2011. |
| [C5] | Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011. |
| [C4] | 22nd International Conference on Rewriting Techniques and Applications (RTA'11), p. 139-154, 2011. |
| [I1] | Invited Talk, 6th International Workshop on Computing with Terms and Graphs, 01/04/2011. |
| [M1] | Talk, 16th Estonian Winter School in Computer Science, 28/02/2011. |
| [C3] | Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011. |
| [C1] | Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 49-66, 2010. Best Contribution to RTA 2010 |
| [C2] | Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 67-84, 2010. Best Contribution to RTA 2010 Paper of the Year of the Department of Computer Science (DIKU) |
| [S1] | Student Project, Dresden University of Technology, 2007. |