{"product_id":"functional-programming-and-inputoutput-andrew-d-gordon-9780521070072","title":"Functional Programming and Input\/Output","description":"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, 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 also 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.\" Graduate students and researchers will gain much from reading this book.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Andrew D. Gordon\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0521070074\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780521070072\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Cambridge University Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/31\/2008\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 172\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.62lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.61h x 6.69w x 0.37d","brand":"Andrew D. Gordon","offers":[{"title":"Paperback","offer_id":47421948526847,"sku":"9780521070072","price":50.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_b8948d49-2e71-4c03-8b56-8472c4a4dc34.jpg?v=1761527307","url":"https:\/\/www.whiterainbookhouse.com\/products\/functional-programming-and-inputoutput-andrew-d-gordon-9780521070072","provider":"WR Book House","version":"1.0","type":"link"}