QUALIFIED TYPES by Mark P. Jones ( 9780521543262 ) - Books & Audio Books at Pickabook.co.uk

Item Details

Title:

QUALIFIED TYPES
THEORY AND PRACTICE

By:

Mark P. Jones

Format:

Paperback

List price:

£38.00

Our price:

£33.25

Discount:

12.5% off

You save:

£4.75

ISBN 10:

0521543266

ISBN 13:

9780521543262

Availability:

Usually dispatched within 1-3 weeks.

Delivery rates

Stock:

Currently 0 available

Publisher:

CAMBRIDGE UNIVERSITY PRESS

Pub. date:

22 August, 2003

Series:

Distinguished Dissertations in Computer Science 9

Pages:

172

Description:

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. 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.

Illustrations:

Illustrations

Publication:

Imprint:

Cambridge University Press

Returns:

Returnable

Some other items by this author:

CONFERENCE DIGEST BISME (PB)

ELECTORAL LAWS AND THE SURVIVAL OF PRESIDENTIAL DEMOCRACIES (HB)

KTP ASSOCIATES CONFERENCE (PB)

QUALIFIED TYPES