Dec 14, 2013 Termination Requires Refinements Dec 9, 2013 Checking Termination Dec 2, 2013 Getting To the Bottom Nov 23, 2013 LiquidHaskell Caught Telling Lies!
