Aug 20, 2020

LiquidHaskell is a GHC Plugin

Apr 12, 2020

Polymorphic Perplexion

Oct 21, 2019

Liquid Types vs. Floyd-Hoare Logic

Mar 20, 2017

Arithmetic Overflows

Feb 11, 2014

The Advantage of Measures

May 24, 2013

Unique Zippers

Mar 26, 2013

Talking About Sets

Mar 4, 2013

Bounding Vectors

Feb 17, 2013

KMeans Clustering II

Feb 16, 2013

KMeans Clustering I

Jan 28, 2013

Bounding Vectors

Jan 27, 2013

Refinements 101 (contd.)

Jan 1, 2013

Refinement Types 101

---