Qualified Types

Theory and Practice

By: No Information Available

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 $89.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 Mathematical Theory of Computation

AI Engineering

Building Applications with Foundation Models

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Discrete Mathematics for Computing

Grassroots

Beading With Algorithms

Cellular Automata In Peyote Stitch

Effective Machine Learning Teams

Best Practices for ML Practitioners

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Theory of Computation for Software Developers

Nonlinear Analysis for Human Movement Variability

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Zhang Time Discretization (ZTD) Formulas and Applications

Why Don't Rabbits Rule The World?

Mathematical answers to life's key questions

Beading With Algorithms

Cellular Automata In Peyote Stitch

Evaluation by Alignment

A Framework for Robust End-to-End NLP Assessment

Accelerating Graph Algorithms

Axiomatic Set Theory

An Introduction

Scientific Computing and Software

Go20 CSCS, Ghajnsielem, Malta, May 20-24, 2024

Logic Circuit Design

Selected Topics and Methods

Python Essentials

Symbolic and Numeric Problem-Solving in Engineering

This product is categorised by