Qualified Types: Theory and Practice

by Mark P. Jones

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,...

• Format: Paperback
• Language: English
• ISBN: 0521543266
• ISBN13: 9780521543262
• Release Date: October 2003
• Publisher: Cambridge University Press
• Length: 172 Pages
• Weight: 0.70 lbs.
• Dimensions: 0.4" x 7.4" x 9.7"