Static contract checking for Haskell

In  Principles of Programming Languages, POPL

Details

TypeInproceedings
Pages41-52
> Publications > Static contract checking for Haskell