VU Boekhandel

Hoofdkenmerken

Auteur:	Jones, Mark P.
Titel:	Qualified Types Theory and Practice
Uitgever:	Cambridge University Press
ISBN:	9780521543262
Serie:	Distinguished Dissertations in Computer Science
Serie:	Distinguished Dissertations in Computer Science
Land van oorsprong:	United Kingdom
Prijs:	€ 55.10
Verschijningsdatum:	16-10-2003
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Mathematical theory of computation
Geillustreerd:	Worked examples or Exercises

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	172
Hoogte mm.:	247
Breedte mm.:	189
Dikte mm.:	17
Gewicht gr.:	328

Inhoud:

This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading, concentrating in particular on the implementation of overloading in Haskell and Gofer.