Functional Programming and Input/Output by Andrew D. Gordon (English) Paperback
51,78 €
A common attraction to functional programming is the ease with which proofs can be given of program properties. 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.
Jetzt bei Ebay:
