Programming with Standard ML
Author(s)
Bibliographic Information
Programming with Standard ML
Prentice Hall, 1993
- : pbk.
Available at / 9 libraries
-
Science and Technology Library, Kyushu University
: pbk.007.64/My026211996000882,
068222195012017 -
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 288-293) and index
Description and Table of Contents
Description
This text teaches programming skills and style using standard ML. The authors aim to teach a functional programming subset of SML, provide a general introduction to the theory of programming and develop an awareness of software design. The emphasis is on informal derivation of examples that show both correct and incorrect approaches and includes carefully selected exercises with heavily annotated solutions. The authors believe that this will be the first book to show a functional language as a practical tool for software design.
Table of Contents
- Operators, values and types
- functions
- lists
- higher order functions
- managing environments
- user defined types
- modules. Appendices: File handling
- additional features of SML
- procedural language features of SML
- the initial SML environment
- UNIX - SML interfaces.
by "Nielsen BookData"