Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Functional Programming and Input/Output

Name: Functional Programming and Input/Output
Brand: Cambridge University Press
SKU: 02020450
Price: 20590 HUF
Availability: InStock
Author: Andrew D. (University of Cambridge) Gordon
ISBN: 9780521070072

Andrew D. (University of Cambridge) Gordon

Language

English

Book Paperback

Libristo code: 02020450

Publishers Cambridge University Press, July 2008

A common attraction to functional programming is the ease with which proofs can be given of program... Full description

Libristo code: 02020450

140 b

20 590 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Hostile Environment Creation Rebel

Audio CD

8 823 Ft

Guía Oficial del Parque Natural de Cardeña y Montoro Desconocido

Paperback

4 428 Ft

Przemoc psychiczna. Jak ją rozpoznać i się przed nią bronić Jarosław Gibas

Paperback

4 677 Ft

DECAMERON, EL GIOVANNI BOCCACCIO

Book

3 429 Ft

Ravensburger Puzzle 12000096 - Villainous: Hades - 1000 Teile Disney Puzzle für Erwachsene und Kinder ab 14 Jahren

Game

5 934 Ft

Jaké to tenkrát bylo aneb Co se stalo v roce, kdy jste se narodili 1984

Paperback

1 188 Ft

Prosto do matury 3. Matematyka. Liceum i technikum. Podręcznik. Zakres podstawowy i rozszerzony. Edycja 2024 Maciej Antek

Paperback

6 461 Ft

TRIORCHIC BLUES PIANO GERALD BARRY Printed items

Sheet music

5 509 Ft

L'allure de Chanel Paul Morand

Paperback

9 410 Ft

Najkrajšie slovenské svetové rozprávky Pavol Dobšinský

Hardback

3 605 Ft

Les Incises dans les genres narratifs Laferrière

Hardback

42 549 Ft

Infos aktuell 1 Zeszyt ćwiczeń Gajownik Tomasz

Paperback

5 555 Ft

LOS MEJORES MITOS GRIEGOS JOSE MORAN

Hardback

7 987 Ft

Panegyrique de Tres Haut, Tres Puissant, Tres Glorieux Et Tres Excellent Prince Jacquin-F

Paperback

4 867 Ft

Eine treue Frau Jane Gardam

Audio CD

4 659 Ft

Elimina los virus mentales con PNL Donald Lofland

Paperback

6 346 Ft

Flamenco Gitarrenschule, m. 2 Audio-CDs. Bd.1 Gerhard Graf-Martinez

Paperback

20 928 Ft

Religion (Judentum: Allgemeines; Palastinisches Judentum) Wolfgang Haase

Hardback

186 400 Ft

Wunder, Wundergeburt und Wundergestalt in Einblattdrucken des funfzehnten bis achtzehnten Jahrhunderts Eugen Holl Nder

Paperback

16 985 Ft

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'.