Programming with Standard ML by Colin Myers
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.