GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.

Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones

Browse the full ICFP paper archive.