It's Raining Books Sale
 
 

Recently Viewed clear list


Original Essays | September 30, 2014

Brian Doyle: IMG The Rude Burl of Our Masks



One day when I was 12 years old and setting off on my newspaper route after school my mom said will you stop at the doctor's and pick up something... Continue »
  1. $13.27 Sale Trade Paper add to wish list

    Children and Other Wild Animals

    Brian Doyle 9780870717543

spacer
Qualifying orders ship free.
$85.75
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Programming and Languages

Ml for the Working Programmer 2ND Edition

by

Ml for the Working Programmer 2ND Edition Cover

 

Synopses & Reviews

Publisher Comments:

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 the author extensively uses throughout. In addition, Paulson has totally rewritten the first chapter to make the book more accessible to students who have no experience of programming languages. The author describes the main features of new Standard Library for the revised version of ML, and gives many new examples, e.g. polynomial arithmetic and new ways of treating priority queues. Finally he has completely updated the references. 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 Internet) from the author. He shows how to use lists, trees, higher-order functions and infinite data structures. He includes many illustrative and practical examples, covering sorting, matrix operations, and polynomial arithmetic. He describes efficient functional implementations of arrays, queues, and priority queues. Larger examples include a general top-down parser, a lambda-calculus reducer and a theorem prover. A chapter is devoted to formal reasoning about functional programs. The combination of careful explanation and practical advice will ensure that this textbook continues to be the preferred text for many courses on ML for students at all levels.

Book News Annotation:

A programming manual, rather than a reference manual. Some of the material requires an understanding of elementary logic and set theory, as well as some programming experience. Topics include functional programming; the history of ML; names, functions, and types; lists; trees and concrete data; functions and infinite data; reasoning about functional programs; abstract types and functors; imperative programming; writing interpreters; and a tactical theorem prover.
Annotation c. Book News, Inc., Portland, OR (booknews.com)

Synopsis:

This new edition of successful text treats modules in more depth, and covers revision of ML language.

Synopsis:

This book shows how to program in the ML language, and teaches the fundamentals of functional programming. The major change for the new edition is the extensive use of modules. In addition, the first chapter has been totally rewritten to make the book more accessible to first year students. The main features of new Standard Library for the revised version of ML are described, and many new examples are given.

Synopsis:

This new edition of a successful text treats modules in more depth, and covers the revision of ML language.

Description:

Includes bibliographical references (p. 449-456) and index.

Table of Contents

1. Standard ML; 2. Names, functions and types; 3. Lists; 4. Trees and concrete data; 5. Functions and infinite data; 6. Reasoning about functional programs; 7. Modules; 8. Imperative programming in ML; 9. Writing interpreters for the lambda-calculus; 10. A tactical theorem prover; Bibliography.

Product Details

ISBN:
9780521565431
Author:
Paulson, Lawrence C.
Author:
Paulson, L. C.
Author:
Paulson, Larry C.
Author:
Paulson, Lawrence C.
Publisher:
Cambridge University Press
Location:
Cambridge ;
Subject:
Programming Languages - General
Subject:
Programming - General
Subject:
Technology
Subject:
Programming - Software Development
Subject:
Ml (computer program language)
Subject:
ML
Subject:
Software Development & Engineering - General
Subject:
Software Engineering - Programming and Languages
Edition Number:
2
Edition Description:
Trade paper
Series Volume:
162
Publication Date:
20091131
Binding:
TRADE PAPER
Grade Level:
College/higher education:
Language:
English
Illustrations:
50 b/w illus. 300 exercises
Pages:
500
Dimensions:
9.68x6.86x1.06 in. 1.94 lbs.

Other books you might like

  1. The Little Schemer, 4th Edition New Trade Paper $35.25
  2. Elements of ML Programming ML97... Used Trade Paper $25.50
  3. Icon Programming Language (97 Edition) Used Trade Paper $23.00
  4. Komarr (Miles Vorkosigan Adventures) Used Mass Market $5.50
  5. Memory (Hardcover) (Miles Vorkosigan... Used Hardcover $10.95
  6. The Functional Approach to Programming Used Trade Paper $61.00

Related Subjects

Computers and Internet » Computer Languages » ML
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » Environmental Studies » Environment

Ml for the Working Programmer 2ND Edition New Trade Paper
0 stars - 0 reviews
$85.75 In Stock
Product details 500 pages Cambridge University Press - English 9780521565431 Reviews:
"Synopsis" by , This new edition of successful text treats modules in more depth, and covers revision of ML language.
"Synopsis" by , This book shows how to program in the ML language, and teaches the fundamentals of functional programming. The major change for the new edition is the extensive use of modules. In addition, the first chapter has been totally rewritten to make the book more accessible to first year students. The main features of new Standard Library for the revised version of ML are described, and many new examples are given.
"Synopsis" by , This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.