A Calculus of Functions for Program Derivation
Richard S. Bird
Details
| Book Title |
Research Topics in Functional Programming |
| Editor |
David A. Turner |
| Note |
Also available as Technical Monograph PRG−64‚ from the Programming Research Group‚ Oxford University |
| Organization |
University of Texas at Austin |
| Publisher |
Addison−Wesley |
| Year |
1990 |
Links
Related pages
|
People |
|
|
Activities |