ML for the Working Programmer - Couverture souple

Paulson, Lawrence C.

 
9780521422253: ML for the Working Programmer
Couverture souple
ISBN 10 : 0521422256 ISBN 13 : 9780521422253
Editeur : Cambridge University Press, 1992

Synopsis

This work aims to offer an introduction to category theory to students of computer science and, at the same time, maintains a level of mathematical rigour that also makes it suitable for students of mathematics.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which are extensively used throughout. In addition, the first chapter has been totally rewritten to make the book more accessible to those without experience of programming languages. The main features of new Standard Library for the revised version of ML are described and many new examples are given, while references have also been updated. Dr Paulson has extensive practical experience of ML and has stressed its use as a tool for software engineering; the book contains many useful pieces of code, which are freely available (via the Internet) from the author. He shows how to use lists, trees, higher-order functions and infinite data structures. Many illustrative and practical examples are included.. Efficient functional implementations of arrays, queues, priority queues, etc. are described. Larger examples include a general top-down parser, a lambda-calculus reducer and a theorem prover. The combination of careful explanation and practical advice will ensure that this textbook continues to be the preferred text for many courses on ML.

Revue de presse

"The book is an excellent introduction to ML, but even better, it provides a good overview of functional programming." Jeffrey Putnam, Computing Review

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
1992
Langue
anglais
ISBN 10 
0521422256
ISBN 13 
9780521422253
Reliure
Broché
Nombre de pages
441
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France

Autres éditions populaires du même titre

9780521565431: ML for the Working Programmer

Edition présentée

ISBN 10 :  052156543X ISBN 13 :  9780521565431
Editeur : Cambridge University Press, 2010
Couverture souple