Lectures on Constructive Functional Programming
Richard S. Bird
Details
| Book Title |
Constructive Methods in Computer Science |
| Editor |
Manfred Broy |
| Note |
NATO ASI Series F Volume 55. Also available as Technical Monograph PRG−69‚ from the Programming Research Group‚ Oxford University |
| Pages |
151–218 |
| Publisher |
Springer−Verlag |
| Year |
1988 |
Links
Related pages
|
People |
|
|
Activities |