Microsoft Research
Microsoft Translator |
Static contract checking for Haskell

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

In  Principles of Programming Languages, POPL

Details

TypeInproceedings
Pages41-52
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Static contract checking for Haskell