A static checker for safe pattern matching in Haskell (2007)

by Neil Mitchell, Colin Runciman
Venue:In Trends in Functional Programming (2005 Symposium