Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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