Static contract checking for Haskell.

Dana N. Xu, Simon L. Peyton Jones, Koen Claessen

Browse the full POPL paper archive.