Neil Mitchell Colin Runciman A static checker for safe pattern matching in Haskell. 15-30 2005 conf/sfp/2005 Trends in Functional Programming db/conf/sfp/tfp2005.html#MitchellR05