Neil Mitchell, Colin Runciman. Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. In Andy Gill, editor, Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008. pages 49-60, ACM, 2008. [doi]
Abstract is missing.