News
- An updated version of the paper Formalising Inductive and Coinductive Containers with Thorsten Altenkirch and Axel Ljungström has been accepted to ITP 2025.
- The paper Distributive Laws of Monadic Containers with Chris Purdy has been accepted to CALCO 2025. I will be attending CALCO on the 12th–15th June in Glasgow, Scotland.