Items related to Qualified Types: Theory and Practice (Distinguished...

Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science, Series Number 9) (Volume 0) - Softcover

Jones, Mark P.

 
9780521543262: Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science, Series Number 9) (Volume 0)
Softcover
ISBN 10: 0521543266 ISBN 13: 9780521543262
Publisher: Cambridge University Press, 2003

Synopsis

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.

"synopsis" may belong to another edition of this title.

Book Description

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.

Review

..."I encourage you to read this exemplar of computer science research and the appropriate presentation thereof. The writing is excellent, the typesetting is perfect, and the extremely fine point that Jones has made will encourage scholarly contemplation about the nature of type systems." David B. Benson, Computing Reviews

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
2003
Language
English
ISBN 10 
0521543266
ISBN 13 
9780521543262
Binding
Paperback
Number of pages
172