The Fictioning Horror Sale
 
 

Recently Viewed clear list


Powell's Q&A | September 3, 2014

Emily St. John Mandel: IMG Powell’s Q&A: Emily St. John Mandel



Describe your latest book. My new novel is called Station Eleven. It's about a traveling Shakespearean theatre company in a post-apocalyptic North... Continue »
  1. $17.47 Sale Hardcover add to wish list

    Station Eleven

    Emily St. John Mandel 9780385353304

spacer

Qualified Types: Theory and Practice

by

Qualified Types: Theory and Practice Cover

 

Synopses & Reviews

Publisher Comments:

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:

Functional programming; Haskell, Gofer; type theory.

Synopsis:

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.

Table of Contents

1. Introduction; 2. Predicates; 3. Type inference for qualified types; 4. Evidence; 5. Semantics and coherence; 6. Theory into practice; 7. Type classes in Haskell; 8. Type classes in Gofer; 9. Summary and future work; 10. Epilogue; Appendix; References; Index.

Product Details

ISBN:
9780521543262
Author:
Jones, Mark P.
Publisher:
Cambridge University Press
Location:
Cambridge
Subject:
Programming - Software Development
Subject:
Abstract data types (computer science)
Subject:
Programming Languages - General
Subject:
Software Development & Engineering - General
Subject:
Programming - General
Subject:
Software Engineering-General
Edition Description:
Trade paper
Series:
Distinguished Dissertations in Computer Science
Series Volume:
9
Publication Date:
20030831
Binding:
TRADE PAPER
Grade Level:
Professional and scholarly
Language:
English
Pages:
172
Dimensions:
9.72 x 6.85 x 0.35 in 0.71 lb

Related Subjects

Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » Mathematics » Geometry » Geometry and Trigonometry

Qualified Types: Theory and Practice New Trade Paper
0 stars - 0 reviews
$50.95 In Stock
Product details 172 pages Cambridge University Press - English 9780521543262 Reviews:
"Synopsis" by , Functional programming; Haskell, Gofer; type theory.
"Synopsis" by , 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.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.