Name: Qualified Types Paperback: Theory and Practice (Distinguished Dissertations in Computer Science) (en Inglés)
Price: 260807.00 COP
Availability: InStock
Author: Jones
ISBN: 9780521543262

portada Qualified Types Paperback: Theory and Practice (Distinguished Dissertations in Computer Science) (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Jones

Año

2003

Idioma

Inglés

N° páginas

172

Encuadernación

Tapa Blanda

ISBN

0521543266

ISBN13

9780521543262

Categorías

Programación informática - desarrollo de software

Qualified Types Paperback: Theory and Practice (Distinguished Dissertations in Computer Science) (en Inglés)

Jones (Autor) · Cambridge University Press · Tapa Blanda

Libro Nuevo

$ 260.807

$ 395.162

Ahorras: $ 134.355

34% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Jueves 23 de Mayo y el Jueves 06 de Junio.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Qualified Types Paperback: Theory and Practice (Distinguished Dissertations in Computer Science) (en Inglés)"

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.