Statically Checkable Pattern Abstractions.

Manuel Fhndrich, John Boyland

Browse the full ICFP paper archive.