Skip to main content

Formal Derivation of a Pattern Matching Algorithm

Richard S. Bird‚ Jeremy Gibbons and Geraint Jones

Journal
Science of Computer Programming
Month
jul
Number
2
Pages
93–104
Volume
12
Year
1989