Qualified Types

Explore the innovative world of qualified types with Qualified Types by Mark P. Jones. Published by Cambridge University Press in 2003, this insightful book spans 172 pages and delves into the integration of polymorphism and overloading in programming languages. Focusing primarily on the implementation of overloading in Haskell and Gofer, Jones provides a comprehensive framework that is essential for both students and professionals in computer science. This book is a must-read for anyone interested in abstract data types and the mathematical theory of computation. Enhance your programming skills and understanding with this essential resource from one of the leading experts in the field.