Qualified Types: Theory and Practice
(Part of the Distinguished Dissertations in Computer Science Series)
No Customer Reviews
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"
Related Subjects
Algorithms Computer Science Computers Computers & Technology Data Structures Education & Reference Languages & Tools Mathematics Programming Programming Languages Science & Math Software Design & Engineering Software Design, Testing & Engineering Software Development Software EngineeringCustomer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
