Static contract checking for Haskell

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

Details

Publication typeInproceedings
Published inPrinciples of Programming Languages, POPL
Pages41-52
> Publications > Static contract checking for Haskell