Pattern matching without K.

Jesper Cockx, Dominique Devriese, Frank Piessens

Browse the full ICFP paper archive.