This web-site is now archived and no longer updated. My website is now a Forest.
Go To Forest
- Dargent (and Cogent) at POPL - 24th June 2023
- Holbert and Cogent at SPLASH - 15th December 2022
- Quickstrom at PLDI - 18th August 2022
- The latest in Cogent publications - 18th August 2022
- A status update, two years late. - 17th August 2022
- I’m a doctor now - 15th January 2020
- What is abstraction anyway? - 8th July, 2017
- Trifecta at Nara - 1st August 2018
- Publication Storm for Cogent! - 11th June 2016
- Bits of Hackage for liamoc.net - 11th November 2015
- The Theory of patches-vector - 10th November 2015
- Ad-hoc Frame Conditions are Logical, Separately - 9th November 2015
- The Trouble with Typing Type as Type - 10th September 2015
- Write your Compiler by Proving it Correct - 23rd August, 2015
- A Lattice of Languages is a Verification Buffet - 16th June 2015
- FP-SYD Coq-fight 2014 - 26th April 2014
- UNSW courses for semester one, 2014 - 20th February 2014
- Context splitting and substructural terms - 1st January 2014
- SAPLING 2013 - 16th December 2013
- APLAS/CPP 2013 Highlights - 13th December 2013
- Imperative Reasoning is Hard - 13th November 2013
- FP-Syd Talk on CDSL (and TFS) - 16th October 2013
- Trustworthy File Systems accepted to PLOS - 7th October 2013