Public Notes on
View Public Collections
GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness - gadtpm-acm.pdf research.microsoft.com
scott