Items related to Qualified Types: Theory and Practice (Distinguished...
Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science, Series Number 9) - Softcover
Synopsis
This 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.
"synopsis" may belong to another edition of this title.
Book Description
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.
Review
..."I encourage you to read this exemplar of computer science research and the appropriate presentation thereof. The writing is excellent, the typesetting is perfect, and the extremely fine point that Jones has made will encourage scholarly contemplation about the nature of type systems." David B. Benson, Computing Reviews
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date2003
- ISBN 10 0521543266
- ISBN 13 9780521543262
- BindingPaperback
- LanguageEnglish
- Number of pages172
Search results for Qualified Types: Theory and Practice (Distinguished...
Stock Image
Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science, Series Number 9)
Published by
Cambridge University Press, 2003
ISBN 10: 0521543266
ISBN 13: 9780521543262
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190006534
Quantity: Over 20 available
Stock Image
Qualified Types: Theory and Practice
Published by
Cambridge University Press 2003-10, 2003
ISBN 10: 0521543266
ISBN 13: 9780521543262
New
PF
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9780521543262
Quantity: 10 available
Stock Image
Qualified Types: Theory and Practice (Paperback)
Published by
Cambridge University Press, Cambridge, 2003
ISBN 10: 0521543266
ISBN 13: 9780521543262
New
Paperback
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This 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. This 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521543262
Quantity: 1 available
Stock Image
Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science, Series Number 9)
Published by
Cambridge University Press, 2003
ISBN 10: 0521543266
ISBN 13: 9780521543262
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521543262_new
Quantity: Over 20 available
Stock Image
Qualified Types: Theory and Practice
Published by
Cambridge University Press, 2003
ISBN 10: 0521543266
ISBN 13: 9780521543262
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 350. Seller Inventory # C9780521543262
Quantity: Over 20 available
Stock Image
Qualified Types: Theory and Practice
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 157 pages. 9.50x7.25x0.25 inches. In Stock. This item is printed on demand. Seller Inventory # __0521543266
Quantity: 1 available
Stock Image
Qualified Types
Published by
Cambridge University Press CUP, 2003
ISBN 10: 0521543266
ISBN 13: 9780521543262
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 172 Index. Seller Inventory # 26189749
Quantity: 4 available
Stock Image
Qualified Types
Published by
Cambridge University Press, 2003
ISBN 10: 0521543266
ISBN 13: 9780521543262
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 172 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 7690986
Quantity: 4 available
Stock Image
Qualified Types
Published by
Cambridge University Press, 2003
ISBN 10: 0521543266
ISBN 13: 9780521543262
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 172. Seller Inventory # 18189759
Quantity: 4 available
Seller Image
Qualified Types : Theory and Practice
Published by
Cambridge University Press, 2003
ISBN 10: 0521543266
ISBN 13: 9780521543262
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This 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. Seller Inventory # 9780521543262
Quantity: 1 available