Statically checkable pattern abstractions (1997)

by Manuel Fähndrich, John Boyland
Venue:In the ACM SIGPLAN International Conference on Functional Programming