Opening book details…
Can I read Functional Programming and Input/Output (Distinguished Dissertations in Computer Science, Series Number 8) on EtoBox?
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science, Series Number 8) by Andrew D. Gordon is a computer science book available to read on EtoBox.
What is Functional Programming and Input/Output (Distinguished Dissertations in Computer Science, Series Number 8) about?
A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains, for the first time, operation
Who reads Functional Programming and Input/Output (Distinguished Dissertations in Computer Science, Series Number 8)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Andrew D. Gordon
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 2008
- Language
- EN
- ISBN
- 9780521070072
- Category
- computer science
- Subjects
- Computer Science, Language Learning, Engineering
- Updated
- 2026-03-25
Other editions & translations
More by Andrew D. Gordon
Browse all works by Andrew D. Gordon
Similar books
- Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science, Series Number 14) — Marcelo P. Fiore (1996)
- Algorithms: A Functional Programming Approach (International Computer Science Series) — Fethi A. Rabhi, Guy Lapalme (1999)
- Feedback Systems: Input-Output Properties (Electrical science) — C.A. Desoer (1975)
- Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 4) — György E. Révész (1988)
- Input/Output in Parallel and Distributed Computer Systems (The Springer International Series in Engineering and Computer Science, 362) — edited by Ravi Jain, John Werth, James C. Browne (2012)
- Introduction to Functional Programming (Prentice Hall International Series in Computer Science) — Wadler P. Bird R. (1992)