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.... This description may be from another edition of this product.

• 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"