Views: a way for pattern matching to cohabit with data abstraction (1987)

by Philip Wadler
Venue:In Proc. 14th ACM Symposium on Principles of Programming Languages (POPL