Qualified Types : Theory and Practice
Book Details
Format
Paperback / Softback
Book Series
Distinguished Dissertations in Computer Science
ISBN-10
0521543266
ISBN-13
9780521543262
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Oct 16th, 2003
Print length
172 Pages
Weight
328 grams
Dimensions
24.70 x 18.90 x 1.70 cms
Product Classification:
Computer programming / software developmentMathematical theory of computation
AI Summary
Ksh 6,850.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
Get Qualified Types by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
Discover books you might love based on this title.
More in This Genre
Discrete and Computational Geometry, Graphs, and Games
Ksh 9,000.00
The Secret Life Of Programs
Ksh 7,750.00
Cybersecurity in Healthcare Applications
Ksh 30,600.00
Free Choice Petri Nets
Ksh 7,800.00
Smart Computing and Self-Adaptive Systems
Ksh 25,200.00
Computational Science – ICCS 2020
Ksh 8,100.00
