K.: Static contract checking for haskell (2009)

by D N Xu, S L P Jones, Claessen