This web-site is now archived and no longer updated. My website is now a Forest.
Go To Forest
- Holbert and Cogent at SPLASH - 15th December 2022
- What is abstraction anyway? - 8th July, 2017
- A Lattice of Languages is a Verification Buffet - 16th June 2015
- FP-SYD Coq-fight 2014 - 26th April 2014
- Imperative Reasoning is Hard - 13th November 2013