Título: Qualified Types
Autor: Mark Jones
Sinopse: 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. This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. Using a general formulation of qualified types, the author extends the Damas/Milner type inference algorithm to support qualified types. 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. This book will be suitable for advanced graduate students and researchers in computer science. Acabamento: Paperback. Peso: 192g. Dimensões: 23 x 16 x 1.
Contexto da obra
Dentro do catálogo, este livro pode ser situado a partir do tema, da autoria e da proposta editorial. “Qualified Types”, de Mark Jones, publicado pela editora Cambridge University Press, em 2003 e com 172 páginas, integra a categoria Inteligência Artificial. Esse enquadramento pode tornar mais clara a proposta do livro e o tipo de interesse que ele costuma despertar.
Editora: Cambridge University Press
Páginas: 172
Ano: 2003
Edição: 1ª EDIÇÃO
ISBN:
ISBN13: 9780521543262
Sobre a editora
Os livros da editora Cambridge University Press apresentam uma leitura que combina rigor acadêmico com abordagens que exploram tanto temas históricos e sociais quanto avanços científicos e educacionais. O catálogo revela obras que vão desde análises profundas sobre sociedades antigas e críticas culturais até estudos contemporâneos em ciências exatas, humanas e linguísticas. O tom varia entre o didático e o analítico, com textos que contemplam desde narrativas históricas detalhadas até exposições metodológicas e teóricas, muitas vezes com linguagem acessível a estudantes e pesquisadores. Há uma presença marcante de obras que investigam processos sociais complexos, como dinâmicas de poder, transformações culturais e debates políticos, ao lado de publicações voltadas para aprendizado de idiomas e ciências aplicadas.
