Statically checkable pattern abstractions (1997)

by M Fähndrich, J Boyland
Venue:Proceedings Int. Conference on Functional Programming (ICFP