Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad.

Anton Lorenzen

Browse the full HASKELL paper archive.