Efficient compilation of pattern matching (0)

by P Wadler
Venue:The Implementation of Functional Programming Languages