THE BIG SALE IS ON! SHOW ME MORE

Close Notification

Your cart does not contain any items

Functional Programming and Input/Output by Andrew D. Gordon (University of Cambridge) at Abbey's Bookshop,
Functional Programming and Input/Output
— —
Andrew D. Gordon (University of Cambridge)

Functional Programming and Input/Output

Andrew D. Gordon (University of Cambridge)

$53.95

Paperback

Not in-store but you can order this
How long will it take?
English
Cambridge University Press
31 July 2008
Functional programming
Series: Distinguished Dissertations in Computer Science
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 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'.
By:  
Imprint:   Cambridge University Press
Country of Publication:   United Kingdom
Volume:   8
Dimensions:   Height: 245mm,  Width: 175mm,  Spine: 10mm
Weight:   290g
ISBN:   9780521070072
ISBN 10:   0521070074
Series:   Distinguished Dissertations in Computer Science
Pages:   172
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

See Also

Functional Programming and Input/Output

Professional Clojure

Jeremy Anderson

Paperback

$82.95 

Not in-store but you can order this

ADD +
Functional Programming and Input/Output

Functional Programming Using F#...

Michael R. Hansen (Technical University...

Paperback

$86.95 

Not in-store but you can order this

ADD +
Functional Programming and Input/Output

Python Programming For Beginners...

Learn Python In 5 Days with Step-By-Step...

James Tudor

Paperback

$21.95  $19.79

Not in-store but you can order this

ADD +
Functional Programming and Input/Output

Trends in Functional Programming...

Marco Morazán

Paperback

$82.95 

Not in-store but you can order this

ADD +
Functional Programming and Input/Output

Fuzzy Logic Control in Energy Systems...

Ismail Hakki Altas (Professor, Karadeniz...

Hardback

$498.95  $448.88

Not in-store but you can order this

ADD +
Functional Programming and Input/Output

Drawing Programs

The Theory and Practice of Schematic...

Tom Addis

Paperback

$130.95  $105.07

Not in-store but you can order this

ADD +