Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Qualified Types

Name: Qualified Types
Brand: Cambridge University Press
SKU: 02034490
Price: 55.89 EUR
Availability: InStock
Author: Mark P. Jones
ISBN: 9780521543262

Theory and Practice

Mark P. Jones

Sprache

Englisch

Buch Broschur

Libristo-Code: 02034490

Verlag Cambridge University Press, Oktober 2003

This book describes the use of qualified types to provide a general framework for the combination of... Vollständige Beschreibung

Libristo-Code: 02034490

137 b

55.89 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ella in der zweiten Klasse Timo Parvela

Broschur

8.00 €

Wie ich eines schönen Morgens im April das 100%ige Mädchen sah Haruki Murakami

Hardcover

20.00 €

Untersuchungshaft und Abschiebehaft Heribert Ostendorf

Broschur

87.79 €

12 Herbert Grönemeyer

Audio CD

18.49 €

Ueber Oligodynamische Erscheinungen in Lebenen Zellen (1900) Carl Von Nageli

Broschur

19.99 €

LES ACTES DES APÔTRES PIERRE ET PAUL Chocheyras

Broschur

25.69 €

La Recette, les crêpes Thierry Dedieu

Hardcover

20.09 €

100 exercices et jeux selectionnes pour l'initiation a la natation María Martínez Moreno

Broschur

17.69 €

Csak lélegezz! Lakatos Péter

Hardcover

13.99 €

This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensions of equality types in Standard ML. Other applications of qualified types include extensible records and subtyping. Using a general formulation of qualified types, the author extends the Damas/Milner type inference algorithm to support qualified types, which in turn specifies the set of all possible types for any term. In addition, he describes a new technique for establishing suitable coherence conditions that guarantee the same semantics for all possible translations of a given term. Practical issues that arise in concrete implementations are also discussed, concentrating in particular on the implementation of overloading in Haskell and Gofer, a small functional programming system developed by the author.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Qualified Types

Autor Mark P. Jones

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2003

Anzahl der Seiten 172

EAN 9780521543262

ISBN 0521543266

Libristo-Code 02034490

Verlag Cambridge University Press

Gewicht 328

Abmessungen 189 x 247 x 17

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert