Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Functional Programming and Input/Output

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

Andrew D. (University of Cambridge) Gordon

Língua

Inglês

Livro Capa mole

Código Libristo: 02020450

Editoras Cambridge University Press, julho 2008

A common attraction to functional programming is the ease with which proofs can be given of program... Descrição completa

Código Libristo: 02020450

113 b

46.53 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

Hostile Environment Creation Rebel

CD de áudio

20.73 €

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

Capa mole

10.11 €

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

Capa mole

10.21 €

DECAMERON, EL GIOVANNI BOCCACCIO

Livro

7.78 €

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

Jogo

13.14 €

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

Capa mole

2.62 €

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

Capa mole

14.86 €

TRIORCHIC BLUES PIANO GERALD BARRY Artigos impressos

Partituras

12.84 €

L'allure de Chanel Paul Morand

Capa mole

21.95 €

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

Livro de capa dura

8.08 €

Les Incises dans les genres narratifs Laferrière

Livro de capa dura

99.14 €

Infos aktuell 1 Zeszyt ćwiczeń Gajownik Tomasz

Capa mole

12.84 €

LOS MEJORES MITOS GRIEGOS JOSE MORAN

Livro de capa dura

18.40 €

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

Capa mole

10.82 €

Eine treue Frau Jane Gardam

CD de áudio

10.41 €

Elimina los virus mentales con PNL Donald Lofland

Capa mole

14.46 €

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

Capa mole

48.76 €

Religion (Judentum: Allgemeines; Palastinisches Judentum) Wolfgang Haase

Livro de capa dura

434.15 €

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

Capa mole

40.46 €

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