Feb 23, 2018

Measures and Case Splitting

Oct 6, 2016

Refinement Reflection on ADTs

Sep 5, 2016

Normal Forms

Jan 28, 2015

Okasaki's Lazy Queues

Feb 11, 2014

The Advantage of Measures

Oct 10, 2013

CSV Tables

May 24, 2013

Unique Zippers

Mar 26, 2013

Talking About Sets

Feb 17, 2013

KMeans Clustering II

Feb 16, 2013

KMeans Clustering I

Jan 31, 2013

Safely Catching A List By Its Tail

---