Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science) Book + PRICE WATCH * Amazon pricing is not included in price watch

Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science) Book

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.Read More

from£N/A | RRP: £23.99
* Excludes Voucher Code Discount Also available Used from £N/A
  • Product Description

    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.

  • 0521543266
  • 9780521543262
  • Mark P. Jones
  • 16 October 2003
  • Cambridge University Press
  • Paperback (Book)
  • 172
  • New Ed
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.