Static contract checking for haskell (2009)

by Dana N Xu, Simon Peyton Jones, Koen Claessen
Venue:In Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL ’09