DMCA

Static contract checking for Haskell (2009)

by Dana N Xu , Simon Peyton Jones , Koen Claessen
Venue:In Proceedings of the 36th Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, POPL ’09
Citations:45 - 6 self