Static Contract Checking for Haskell (2009)

by Dana N. Xu , Simon Peyton Jones , Koen Claessen
Venue:In Proceedings of the 36 th Annual ACM Symposium on the Principles of Programming Languages
Citations:26 - 3 self