Lectures on Constructive Functional Programming
Richard S. Bird
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