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

[C29] | 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) |

[C26] | 27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022) |

[C18] | Mathematics of Program Construction, p. 159-186, 2015. |

[M12] | Talk, Language-Based Technology Group, DTU, 1/12/2014. |

[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. |

[C20] | Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015. |

[M14] | Talk, FP Lunch, School of Computer Science, University of Nottingham, 17/07/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. |

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

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

[C29] | 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) |

[C26] | 27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022) |

[C20] | Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015. |

[M14] | Talk, FP Lunch, School of Computer Science, University of Nottingham, 17/07/2015. |

[C18] | Mathematics of Program Construction, p. 159-186, 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. |

[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. |

[C30] | Practical Aspects of Declarative Languages, p. 18-36, 2024. |

[C28] | 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) |

[C27] | 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) |

[C25] | 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021) |

[C19] | Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, p. 129-140, 2015. |

[C17] | Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015. |

[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. |

[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. |

[C10] | Mathematics of Program Construction, p. 263-299, 2012. |

[M5] | Talk, Computing Science Colloquium, Utrecht University, The Netherlands, 12/04/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. |

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

[C17] | Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015. |

[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. |

[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. |

[C10] | Mathematics of Program Construction, p. 263-299, 2012. |

[M5] | Talk, Computing Science Colloquium, Utrecht University, The Netherlands, 12/04/2012. |

[C8] | Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012. |

[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. |

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

[C24] | 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), p. 8:1-8:16, 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. |

[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. |

[C11] | Proceedings 7th International Workshop on Computing with Terms and Graphs, p. 17-28, 2013. |

[C9] | 23rd International Conference on Rewriting Techniques and Applications (RTA'12), p. 69-84, 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. |

[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. |

[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) |

[C30] | Practical Aspects of Declarative Languages, p. 18-36, 2024. |

[C28] | 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) |

[C27] | 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) |

[C25] | 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021) |

[C23] | Programming And Reasoning on Infinite Structures, 2018. |

[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. |

[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. |

[M13] | Talk, HIPERFIT Workshop, 10/12/2014. |

[M12] | Talk, Language-Based Technology Group, DTU, 1/12/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. |

[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. |

[C8] | Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012. |

[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. |

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

[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. |

[S1] | Student Project, Dresden University of Technology, 2007. |