Introduction to Programming using SML, 1st edition

Published by Addison-Wesley (April 30, 1999) © 1999

  • Michael Hansen Technical University of Denmark
  • Hans Rischel Technical University of Denmark
Products list

Details

  • A print edition

Currently unavailable

Title overview

Introduction to Programming using SML provides a thorough introduction to the principles of programming and program design using the Standard ML programming language. The emphasis throughout is to put the theory of programming into practice. The examples and exercises teach the student how to apply basic theoretical concepts to produce succinct and elegant programs and program designs.

Coverage includes an introduction to fundamental data structures and their applications. The notions of binding, environment, store, closure and evaluation are introduced in order to explain the meaning of programs in an informal but precise way. Thus, the authors provide the reader with a set of durable programming concepts which will exist well into the next generation of programming languages.

Table of contents

  1. Getting Started
  2. Basic Values and Operators
  3. Tuples and Records
  4. Problem Solving I
  5. Lists
  6. Problem Solving II
  7. Tagged Values. Partial Functions
  8. Finite Trees
  9. Higher-Order Functions
  10. Finite Sets
  11. Modules
  12. Tables
  13. Input/Output in SML
  14. Interactive Programs
  15. Problem Solving III
  16. Iteration
  17. Imperative Programming
 A. SML systems  B. Overview of Standard ML  C. Overview of the SML module system  D. Selected parts of the SML basis library  E. Modules of sets and tables  F. The ASCII alphabet

Need help?Get in touch