Cart
Free Shipping in Australia
Proud to be B-Corp

ML for the Working Programmer Lawrence C. Paulson

ML for the Working Programmer By Lawrence C. Paulson

ML for the Working Programmer by Lawrence C. Paulson


$70.99
Condition - Very Good
Out of stock

Summary

This practical book teaches the methods of functional programming, in particular, how to program in Standard ML. The author shows how to use such concepts as lists, trees, higher-order functions and infinite data structures and includes a chapter on formal reasoning about functional programming.

ML for the Working Programmer Summary

ML for the Working Programmer by Lawrence C. Paulson

Unfortunately we do not have a summary for this item at the moment

Table of Contents

Part 1 Introduction: functional programming; standard ML. Part 2 Names, functions and types: value declarations; numbers, character strings, truth values; pairs, tuples and records; the evaluation of expressions; writing recursive functions; local declarations; polymorphic type checking. Part 3 Lists: introduction to lists; some fundamental list functions; applications of lists; the equality test in polymorphic functions; sorting - a case study. Part 4 Trees and concrete data: the datatype declaration; exceptions; trees; functional arrays and priority queues; A lists; search strategies and lazy lists. Part 6 Reasoning about functional programs: some principles of mathematical proof; structural induction; a general induction principle; specification and verification. Part 7 Modules: queues, an abstract type; structures; signatures of structures; functors over structures; a review of the modules system. Part 8 Imperative programming in ML: reference types; references in data structures; input and output in Standard ML. Part 9 Writing interpreters for the pye calculus: a functional parser; the pye calculus; representing pye terms in ML; the pye calculus as a programming language. Part 10 A tactical theorem prover: a sequent calculus for first-order logic; processing terms and formulae in ML; tactics and the proof state; searching for proofs.

Additional information

GOR005253673
9780521390224
0521390222
ML for the Working Programmer by Lawrence C. Paulson
Used - Very Good
Hardback
Cambridge University Press
19910725
439
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us

Customer Reviews - ML for the Working Programmer