Functional Programming and Input/Output

577,03 DKK
+ 66,99 DKK Levering

Functional Programming and Input/Output

Sоlgt af:
  • product image

577,03 DKK

På lager
+ 66,99 DKK Levering

14-dages returpolitik

Køberbeskyttelse

Betalingsmetoder:

  • Brand: Unbranded
Produktdetaljer

Produktdetaljer

Functional Programming and Input/Output

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'. Language: English
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Cambridge University Press
  • Udgivelsesdato: 2008/07/31
  • Kunstner: Andrew D. Gordon
  • Sprog: English
  • Antal sider: 172
  • Fruugo ID: 337398689-741030883
  • ISBN: 9780521070072
Løfte

Sælgergaranti

2 års juridisk garanti inkluderet

Dine EU-forbrugerrettigheder inkluderer en gratis minimum 2 års juridisk garanti

Download juridisk overensstemmelsesgaranti
Levering

Levering

Sendt inden for 4 dage

  • STANDARD: 95,02 DKK - Levering mellem kl man. 14 september 2026–tor. 17 september 2026

Afsendes fra Storbritannien.

Returnering

Returnering og afbestilling

Returnering

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne.

Se fuld returpolitik

Afbestillinger

Du har ret til at fortryde dit køb inden for 14 dage efter modtagelse af din ordre uden at angive en grund. For nemt at udøve din ret kan du bruge linket "Annuller min ordre" i sidefoden på hver side eller på din Fruugo-konto under "Ordrer". Når du har udøvet din fortrydelsesret, sender vi dig en e-mailbekræftelse. Hvis din ordre allerede er blevet sendt af forhandleren, giver vi dig de nødvendige returinstruktioner for at sikre, at din refusion behandles hurtigt.

Se den fulde afbestillingspolitik