Rational Codata as Syntax-with-Binding: Correct-by-Construction Foundations of the Modal µ-Calculus Sean Watters 09 Jun 2025 abstract extended abstract TalkFuture Conference modal mu-calculus rational data structures
Extensional Finite Sets and Multisets in Type Theory Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters 13 Jun 2024 abstract extended abstract slides Talk Conference fresh lists data structures free algebraic structures
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists APLAS 2023 Best Paper Award Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters 28 Nov 2023 abstract paper bibtex git agda Publication Conference fresh lists data structures free algebraic structures