July 8, 2017
18 items
liamoc.net
-
What is abstraction anyway? - July 8, 2017
-
Trifecta at Nara - August 1, 2016
-
Publication Storm for Cogent! - June 11, 2016
-
Bits of Hackage for liamoc.net - November 11, 2015
-
The Theory of patches-vector - November 10, 2015
-
Ad-hoc Frame Conditions are Logical, Separately - November 9, 2015
-
The Trouble with Typing Type as Type - September 10, 2015
-
Write Your Compiler by Proving It Correct - August 23, 2015
-
A Lattice of Languages is a Verification Buffet - June 16, 2015
-
FP-SYD Coq-fight 2014 - April 26, 2014
-
UNSW courses for semester one, 2014 - February 20, 2014
-
Context splitting and substructural terms - January 1, 2014
-
SAPLING 2013 - December 16, 2013
-
APLAS/CPP 2013 Highlights - December 13, 2013
-
Imperative Reasoning is Hard - November 13, 2013
-
Concurrency guest lecture slides - October 18, 2013
-
FP-Syd Talk on CDSL (and TFS) - October 16, 2013
-
Trustworthy File Systems accepted to PLOS - October 7, 2013