Views: A Way for Pattern Matching to Cohabit with Data Abstraction.

Philip Wadler

Browse the full POPL paper archive.