Functional Programming and Input/Output

67,21 €
+ 4,99 € Versand

Functional Programming and Input/Output

Verkauft von:
  • product image

67,21 €

Auf Lager
+ 4,99 € Versand

14-Tage-Rückgabepolitik

Käuferschutz

Zahlungsmethoden:

  • Marke: Unbranded
Produktdetails

Produktdetails

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
  • Marke: Unbranded
  • Kategorie: Computer und Internet
  • Künstler: Andrew D. Gordon
  • Format: Paperback
  • Verlag / Label: Cambridge University Press
  • Sprache: English
  • Erscheinungsdatum: 2008/07/31
  • Seitenzahl: 172
  • Fruugo-ID: 337398689-741030883
  • ISBN: 9780521070072
Versprechen

Verkäufergarantie

Gesetzliche Gewährleistung von 2 Jahren inklusive

Ihre Verbraucherrechte in der EU beinhalten eine kostenlose gesetzliche Gewährleistung von mindestens 2 Jahren

Gesetzliche Gewährleistung herunterladen
Lieferung

Lieferung

Versand innerhalb von 4 Tagen

  • STANDARD: 8,20 € - Lieferung zwischen Mo. 14 September 2026–Di. 15 September 2026

Versand von Vereinigtes Königreich.

Rücksendung

Rückgabe & Stornierung

Rückgabe

Wir tun unser Bestes, um dafür zu sorgen, dass die von Ihnen bestellten Produkte vollständig und gemäß Ihrer Spezifikationen an Sie geliefert werden. Wenn Sie allerdings eine unvollständige Bestellung oder Artikel erhalten, die sich von den bestellten unterscheiden, oder es einen anderen Grund gibt, warum Sie mit Ihrer Bestellung nicht zufrieden sind, können Sie die gesamte Bestellung oder einzelne darin enthaltenen Produkte zurücksenden und eine vollständige Rückerstattung für die Artikel erhalten.

Vollständige Rückgaberichtlinie ansehen

Stornierung

Sie haben das Recht, innerhalb von 14 Tagen nach Erhalt Ihrer Bestellung ohne Angabe von Gründen von Ihrem Kauf zurückzutreten. Um Ihr Widerrufsrecht einfach auszuüben, können Sie den Link „Meine Bestellung stornieren“ in der Fußzeile jeder Seite oder in Ihrem Fruugo-Konto unter „Bestellungen“ nutzen. Sobald Sie von Ihrem Widerrufsrecht Gebrauch gemacht haben, senden wir Ihnen eine Bestätigungs-E-Mail. Falls Ihre Bestellung bereits vom Händler versandt wurde, erhalten Sie von uns die notwendigen Rücksendeanweisungen, um eine schnelle Bearbeitung Ihrer Rückerstattung zu gewährleisten.

Vollständige Stornierungsbedingungen ansehen