Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Lectures on Constructive Functional Programming
Home
Publications
Lectures on Constructive Functional Programming
Lectures on Constructive Functional Programming
RB
Richard S. Bird
Richard S. Bird
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1989
book chapter
Published by
Springer Nature
p.
151-217
https://doi.org/10.1007/978-3-642-74884-4_5
Abstract
No abstract available
Keywords
FUNCTIONS
CALCULUS
PROGRAMS FROM THEIR SPECIFICATIONS
LECTURES
NOTATIONS
HOPE
ALGEBRAIC
TREES
LISTS
TAKE
Cited
Cited by 83 articles
Scroll to top