International Computer Science Series Introduction to Programming using SML

An introductory programming textbook for students using SML. The text teaches SML program design based on a set of simple, clean and powerful concepts. It emphasizes mathematical structures, modelling and abstraction as a basis for programming. 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.