Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    Best Books of the Year | December 7, 2014

    Gigi Little: IMG Best Kids' Books of 2014



    No, I'm sorry, it's impossible. The best kids' books of 2014? The best? Can't do it. There have been entirely too many exceptional examples of the... Continue »
    1. $11.87 Sale Board Book add to wish list

      Countablock

      Christopher Franceschelli and Peskimo 9781419713743

    spacer
Qualifying orders ship free.
$30.00
Used Trade Paper
Ships in 1 to 3 days
Add to Wishlist
Qty Store Section
1 Burnside Computer Languages- ML

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, Lawrence C.
Author:
Paulson, Larry 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
Copyright:
Edition Number:
2
Edition Description:
Trade paper
Series Volume:
162
Publication Date:
19960631
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 Used Trade Paper $25.00
  2. Elements of ML Programming ML97... Used Trade Paper $25.50
  3. Komarr (Miles Vorkosigan Adventures) New Mass Market $7.99
  4. Memory (Hardcover) (Miles Vorkosigan... Used Hardcover $10.95
  5. The Functional Approach to Programming Used Trade Paper $64.00
  6. Distributed Algorithms (Morgan... New Hardcover $166.50

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 Used Trade Paper
0 stars - 0 reviews
$30.00 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.