{"product_id":"9780521070072","title":"Functional Programming and Input\/Output (Distinguished Dissertations in Computer Science)","description":"\u003cp\u003eA 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 operational semantics for the three most widely implemented I\/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He develops semantics for a form of monadic I\/O and verifies a simple programming example. These theories of functional I\/O are based on an entirely operational theory of functional programming, developed using Abramsky's 'applicative bisimulation'.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":49109507375331,"sku":"00000_00000_00000_00000","price":53.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0764\/3758\/6147\/files\/9780521070072-1.jpg?v=1788342088","url":"https:\/\/usa.kinokuniya.com\/products\/9780521070072","provider":"Books Kinokuniya USA","version":"1.0","type":"link"}