Enlarge

Type theory and functional programming

Simon Thompson

Publication Data

Title Type theory and functional programming
Author Simon Thompson
Publisher Addison-Wesley
Publication date 1991
Publication location Wokingham
Language English

Descriptive Notes

Bibliography: p347-357. - Includes index.

Topics

Functional programming (Computer science)
Type theory

Catalogue Data

OBNB ID GB9127810
ISBN 10 0201416670
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 xv,372p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Type theory and functional programming by Simon Thompson. ISBN 0201416670. Published by Addison-Wesley in 1991. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.