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.
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.
"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.
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0521422256I3N00
Quantité disponible : 1 disponible(s)
Vendeur : Sell Books, Elland, YORKS, Royaume-Uni
paperback. Etat : Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only. N° de réf. du vendeur mon0000088227
Quantité disponible : 1 disponible(s)
Vendeur : Ammareal, Morangis, France
Softcover. Etat : Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Petite(s) trace(s) de pliure sur la couverture. Salissures sur la tranche. Traces d'humidité sur les premières et dernières pages. Couverture différente. Edition 1992. Ammareal reverse jusqu' ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Slightly creased cover. Stains on the edge. Traces of humidity on the first and last pages. Different cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-927-394
Quantité disponible : 1 disponible(s)
Vendeur : Fireside Bookshop, Stroud, GLOS, Royaume-Uni
paperback. Etat : Good. Small plain label to inside cover. Stamp to half title page and verso of half title page. Creasing to corners of covers. N° de réf. du vendeur 721703
Quantité disponible : 1 disponible(s)