Qualified Types

Theory and Practice

By: Mark P. Jones

Write A Review

Paperback | 19 December 2003

At a Glance

Paperback
172 Pages

Dimensions(cm)
24.7 x 18.9 x 1.7

Paperback

RRP $75.95

$71.75

or 4 interest-free payments of $17.94 with

Ships in 5 to 7 business days

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.

Industry Reviews

"This is a well-written book, describing the use of qualified types in functional programming languages. The author gives a good brief introduction to the use of types in programming languages, leading quite naturally to the issues of polymorphism and overloading. He then proposes the use of so-called 'qualified types' as a way of introducing a general mechanism for overloading." Herman Geuvers, Mathematical Reviews "...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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Mathematical Theory of Computation Computer Programming & Software Development Software Engineering Programming & Scripting Languages

Introduction
Predicates
Type inference for qualified types
Evidence
Semantics and coherence
Theory into practice
Type classes in Haskell
Type classes in Gofer
Summary and future work
Epilogue
Appendix
References
Index
Table of Contents provided by Publisher. All Rights Reserved.

Qualified Types

Theory and Practice

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Observability Engineering

Achieving Production Excellence

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Fundamentals of Computer Graphics

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Next-Generation Artificial Intelligence

Convergence of Neuroscience, Edge Computing, and Sustainable Technologies

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

ZX-Calculus for Quantum Circuits

A Diagrammatic Approach to Quantum Circuit Analysis and Optimization

Python All-in-One For Dummies

3rd Edition

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

The C Programming Language

Prentice Hall Software

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

Design Patterns

Elements of Reusable Object-Oriented Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Learning Go

An Idiomatic Approach to Real-World Go Programming

Making Things Happen : Theory in Practice

Mastering Project Management

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Confident Web Design

How to Design and Create Websites and Futureproof Your Career

The Art of SEO

Mastering Search Engine Optimization

This product is categorised by