Formal Derivation of a Pattern Matching Algorithm
Richard S. Bird‚ Jeremy Gibbons and Geraint Jones
Details
| Journal |
Science of Computer Programming |
| Month |
jul |
| Number |
2 |
| Pages |
93–104 |
| Volume |
12 |
| Year |
1989 |
Links
DOI (10.1016/0167-6423(89)90036-1)
Related pages
|
People |
|
|
Activities |