Stimați clienți, din motive tehnice, suportul pentru clienți nu este disponibil astăzi. Vom răspunde solicitărilor dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Qualified Types

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

Theory and Practice

Mark P. Jones

Limba

engleză

Carte Carte broșată

Codul Libristo: 02034490

Editura Cambridge University Press, octombrie 2003

This book describes the use of qualified types to provide a general framework for the combination of... Descrierea completă

Codul Libristo: 02034490

137 b

295.41 lei

În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Ella in der zweiten Klasse Timo Parvela

Carte broșată

40.84 lei

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

Copertă tare

94.14 lei

Untersuchungshaft und Abschiebehaft Heribert Ostendorf

Carte broșată

442.45 lei

12 Herbert Grönemeyer

Audio CD

97.98 lei

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

Carte broșată

105.76 lei

LES ACTES DES APÔTRES PIERRE ET PAUL Chocheyras

Carte broșată

136.03 lei

La Recette, les crêpes Thierry Dedieu

Copertă tare

101.30 lei

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

Carte broșată

93.31 lei

Csak lélegezz! Lakatos Péter

Copertă tare

100.57 lei

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.