• I’m a doctor now - 15th January 2020
• Trifecta at Nara - 1st August 2018
• Bits of Hackage for liamoc.net - 11th November 2015
• The Trouble with Typing Type as Type - 10th September 2015
• Write your Compiler by Proving it Correct - 23rd August, 2015
• Context splitting and substructural terms - 1st January 2014