Qualified Types Image close
Qualified Types by Mark P. Jones
Qualified Types by Mark P. Jones
Show Hide Adult Content
Qualified Types close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Qualified Types

Theory and Practice
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$114.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $28.50 with Afterpay Learn more

6 weekly interest-free payments of $19.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 3-13 June using International Courier

Explore more Distinguished Dissertations in Computer Science

See all products in this series

Specification and Proof in Real Time CSP by Jim Davies
$162.00
Specification and Proof in Real Time CSP
by Jim Davies ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Specification and Proof in Real Time CSP on Hardback by Jim Davies
$298.00
Specification and Proof in Real Time CSP
by Jim Davies ~ Hardback
Available - Usually ships in 3-4 weeks
A Compositional Approach to Performance Modelling by Jane Hillston
$127.00
A Compositional Approach to Performance Modelling
by Jane Hillston ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Functional Programming and Input/Output by Andrew D. Gordon
$101.00
Functional Programming and Input/Output
by Andrew D. Gordon ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Efficient Algorithms for Listing Combinatorial Structures on Hardback by Leslie Ann Goldberg
$278.00
Efficient Algorithms for Listing Combinatorial Structures
by Leslie Ann Goldberg ~ Hardback
Available - Usually ships in 3-4 weeks
Efficient Algorithms for Listing Combinatorial Structures by Leslie Ann Goldberg
$114.00
Efficient Algorithms for Listing Combinatorial Structures
by Leslie Ann Goldberg ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Programming by James H. Andrews
$108.00
Logic Programming
by James H. Andrews ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Three-Dimensional Integrated Circuit Layout on Hardback by A.C. Harter
$318.00
Three-Dimensional Integrated Circuit Layout
by A.C. Harter ~ Hardback
Available - Usually ships in 3-4 weeks
Axiomatic Domain Theory in Categories of Partial Maps by Marcelo P. Fiore
$128.00
Axiomatic Domain Theory in Categories of Partial Maps
by Marcelo P. Fiore ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Modular and Extensible Network Storage Architecture on Hardback by Sai Lai Lo
$275.00
A Modular and Extensible Network Storage Architecture
by Sai Lai Lo ~ Hardback
Available - Usually ships in 3-4 weeks
Three-Dimensional Integrated Circuit Layout by A.C. Harter
$127.00
Three-Dimensional Integrated Circuit Layout
by A.C. Harter ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot by D.C. Lee
$109.00
The Map-Building and Exploration Strategies of a Simple...
by D.C. Lee ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Modular and Extensible Network Storage Architecture by Sai Lai Lo
$97.00
A Modular and Extensible Network Storage Architecture
by Sai Lai Lo ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Affine Analysis of Image Sequences by Larry S. Shapiro
$108.00
Affine Analysis of Image Sequences
by Larry S. Shapiro ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Auditory Processing and Organisation by Martin Cooke
$108.00
Modelling Auditory Processing and Organisation
by Martin Cooke ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
October 16th, 2003
Author
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises
Pages
172
Dimensions
189x247x17
ISBN-13
9780521543262
Product ID
1977280

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation