Static contract checking for Haskell (2009)

by D N Xu, S L Peyton Jones, K Claessen
Venue:In Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009