Manuel Fähndrich, John Boyland. Statically Checkable Pattern Abstractions. In ICFP. pages 75-84, 1997.
@inproceedings{FahndrichB97, title = {Statically Checkable Pattern Abstractions}, author = {Manuel Fähndrich and John Boyland}, year = {1997}, tags = {abstraction}, researchr = {https://researchr.org/publication/FahndrichB97}, cites = {0}, citedby = {0}, pages = {75-84}, booktitle = {ICFP}, }