Efficient compilation of pattern-matching (1987)

by P Wadler
Venue:The Implementation of Functional Programming Languages, chapter 5. Prentice-Hall International