Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl).

Jan van Brgge

Browse the full HASKELL paper archive.