{"product_id":"qualified-types-theory-and-practice-paperback-9780521543262","title":"Qualified Types; Theory and Practice (Paperback) 9780521543262","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eQualified Types\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eTheory and Practice\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cem\u003eFunctional programming; Haskell, Gofer; type theory.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eMark P. Jones (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521543262, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 16 October 2003\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e172 pages\u003cbr\u003e24.7 x 18.9 x 1.7 cm, 0.328 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThis book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, 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. Using a general formulation of qualified types, the author extends the Damas\/Milner type inference algorithm to support qualified types, which in turn specifies the set of all possible types for any term. In addition, he describes a new technique for establishing suitable coherence conditions that guarantee the same semantics for all possible translations of a given term. Practical issues that arise in concrete implementations are also discussed, concentrating in particular on the implementation of overloading in Haskell and Gofer, a small functional programming system developed by the author.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e1. Introduction\u003cbr\u003e 2. Predicates\u003cbr\u003e 3. Type inference for qualified types\u003cbr\u003e 4. Evidence\u003cbr\u003e 5. Semantics and coherence\u003cbr\u003e 6. Theory into practice\u003cbr\u003e 7. Type classes in Haskell\u003cbr\u003e 8. Type classes in Gofer\u003cbr\u003e 9. Summary and future work\u003cbr\u003e 10. Epilogue\u003cbr\u003e Appendix\u003cbr\u003e References\u003cbr\u003e Index.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46019801841944,"sku":"9780521543262","price":33.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521543262i_3bec1ffa-d598-4377-9df5-ed226eae5a00.jpg?v=1691369399","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/qualified-types-theory-and-practice-paperback-9780521543262","provider":"Freshly Printed Books","version":"1.0","type":"link"}