Qualified Types by Mark P Jones

Qualified Types by Mark P Jones

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.

This is a well-written book, describing the use of qualified types in functional programming languagesThe author gives a good brief introduction to the use of types in programming languages, leading quite naturally to the issues of polymorphism and overloading. He then proposes the use of so-called 'qualified types' as a way of introducing a general mechanism for overloading. Herman Geuvers, Mathematical Reviews ...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

Jones, Mark P.: - Mark P. Jones, PhD, is the fellow in political science at the Baker Institute, the Joseph D. Jamail Chair in Latin American Studies, and a professor in the Department of Political Science at Rice University.

SKU	Unavailable
ISBN 13	9780521543262
ISBN 10	0521543266
Title	Qualified Types
Author	Mark P Jones
Series	Distinguished Dissertations In Computer Science
Condition	Unavailable
Binding Type	Paperback
Publisher	Cambridge University Press
Year published	2003-10-16
Number of pages	172
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.