Statically checkable pattern abstractions
- 1 August 1997
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 32 (8) , 75-84
- https://doi.org/10.1145/258948.258957
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A new look at pattern matching in abstract data typesACM SIGPLAN Notices, 1996
- Pattern matching with abstract data types1Journal of Functional Programming, 1993
- A functional language for the specification of complex tree transformationsPublished by Springer Nature ,1988
- Views: a way for pattern matching to cohabit with data abstractionPublished by Association for Computing Machinery (ACM) ,1987
- Pattern Matching in TreesJournal of the ACM, 1982