2022
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes yang-2022-fantasticMPC · 2022
2019
Self-certifying Railroad Diagrams: Or: How to Teach Nondeterministic Finite Automata hinze-2019-selfMPC · 2019
2012
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick hinze-2012-kanMPC · 2012
mpc venue entries/venues/mpc.hel