Nuevo

Qualified Types: Theory And Practice (distinguished Dissertations In Computer Science, Series Number 9), De Jones, Mark P.. Editorial Cambridge University Press, Tapa Blanda En Inglés

en 6 cuotas de

Precio sin impuestos nacionales:

Lo que tenés que saber de este producto

Tapa del libro: Blanda
Número de páginas: 172.
Peso: 230g.
ISBN: 09780521543262.
Dimensiones: 18cm de ancho x 24cm de alto.

Ver características

Opciones de compra:

Ir a la compra

Características del producto

Título del libro	Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science, Series Number 9)
Autor	Jones, Mark P.
Idioma	Inglés
Editorial del libro	CAMBRIDGE UNIVERSITY PRESS
Tapa del libro	Blanda

Cantidad de páginas	172
Altura	24 cm
Ancho	18 cm
Peso	230 g
ISBN	09780521543262

Descripción

Libro: Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science, Series Number 9)

Descripción:
Este libro aborda el uso de tipos calificados como marco para integrar polimorfismo y sobrecarga, ofreciendo una perspectiva generalizada de las clases de tipos en Haskell y el demostrador de teoremas Isabelle, así como extensiones de tipos de igualdad en Standard ML. Incluye temas como registros extensibles y subtipos. Presenta una extensión del algoritmo de inferencia de tipos para soportar tipos calificados, detallando cómo especificar el conjunto completo de tipos aplicables a cualquier término. Introduce una técnica innovadora para establecer condiciones de coherencia que aseguren interpretaciones consistentes para las traducciones de términos. Además, se examinan aspectos de implementación, con énfasis en la integración de sobrecarga en Haskell y Gofer, un sistema de programación funcional creado por el autor.