Functional Programming and Input/Output
By:
Format:
HardbackDescription
Table of Contents
Preface; 1. Introduction; 2. A calculus of recursive types; 3. A metalanguage for semantics; 4. Operational precongruence; 5. Theory of the metalanguage; 6. An operational theory of functional programming; 7. Four mechanisms for teletype I/O; 8. Monadic I/O; 9. Conclusion; Bibliography; Notation; Index.
- Professional & Vocational
Customer reviews
Nobody has reviewed this product yet. You could be the first!
Write a ReviewMarketplace listings
There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!