Unfailing Haskell: A static checker for pattern matching (2005)

by Neil Mitchell, Colin Runciman
Venue:In TFP ’05: The 6th Symposium on Trends in Functional Programming