Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Functional Programming and Input/Output

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

Andrew D. (University of Cambridge) Gordon

Lingua

Inglese

Libro In brossura

Codice Libristo: 02020450

Casa editrice Cambridge University Press, luglio 2008

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

Codice Libristo: 02020450

125 b

50.89 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

L'allure de Chanel Paul Morand

In brossura

28.79 €

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

In brossura

11.09 €

DECAMERON, EL GIOVANNI BOCCACCIO

Libro

8.59 €

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

In brossura

3.09 €

TRIORCHIC BLUES PIANO GERALD BARRY Pubblicazioni cartacee

Note

12.89 €

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

In brossura

10.29 €

Logické hry pro chytré děti

In brossura

8.89 €

Hostile Environment Creation Rebel

CD audio

22.79 €

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

Gioco

19.69 €

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

In brossura

16.89 €

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

Rigido

9.09 €

Organ works Golebiowski

CD audio

20.79 €

Les Incises dans les genres narratifs Laferrière

Rigido

107.19 €

MICHAEL HURD: SHEPHERD'S CALENDAR (VOCAL SCORE) CHANT HURD Libro

binding.

15.99 €

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

In brossura

44.59 €

Infos aktuell 1 Zeszyt ćwiczeń Gajownik Tomasz

In brossura

16.19 €

Religion (Judentum: Allgemeines; Palastinisches Judentum) Wolfgang Haase

Rigido

509.69 €

LOS MEJORES MITOS GRIEGOS JOSE MORAN

Rigido

17.59 €

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

In brossura

11.99 €

Discipline (CD/DVD-Audio) King Crimson

CD audio

15.29 €

Eine treue Frau Jane Gardam

CD audio

11.79 €

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

In brossura

52.19 €

La autoevaluación como elemento de medición Jorge Augusto Valencia Valencia

In brossura

29.09 €

Flexion im mentalen Lexikon Martina (Heinrich-Heine-University Dusseldorf) Penke

Rigido

147.19 €

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