• Title Programming in Standard ML '97: A Tutorial Introduction
• Author(s) Stephen Gilmore
• Publisher: University of Edinburgh (May 6, 2006)
• Hardcover/Paperback N/A
• eBook PDF, PostScript, DVI, etc.
• Language: English
• ISBN-10: N/A
• ISBN-13: N/A
• Share This:  

Book Description

Standard ML is a functional programming language, and it is more than that. Functional programs have many virtues. They are concise, secure and elegant. They are easier to understand and easier to prove correct than imperative programs.

This book provides a thorough introduction to the principles of programming and program design using the Standard ML programming language. The emphasis throughout is to p 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.

• N/A

• Amazon

• ML and Standard ML (SML) Programming Language
• Objective Caml (OCaml) Programming Language
• Scheme Programming Language
• Functional Programming

• Programming in Standard ML '97: A Tutorial Introduction (Stephen Gilmore)
• The Mirror Site (1) - PDF

• The Standard ML Basis Library (Emden R. Gansner, et al)

  The definition for Standard ML's standard library, this work concisely describes the types and functions defined in the library and discusses in depth the library's design and use. It's an indispensable reference for students, professional programmers, etc.

• Programming in Standard ML (Robert Harper)

  This book is an introduction to programming with the Standard ML programming language. The emphasis of this book is on informal derivation of examples that show both correct and incorrect approaches.

• A Look at Functional Programming with Standard ML

  This book uses the Standard ML programming language as a vehicle to study functional programming. Learn about type deduction, pattern matching, currying, partial application, composition of functions, and why variables and loops really aren't needed!

• A Gentle Introduction to ML (Andrew Cumming)

  It is an introduction to thinking about programming and the ML Programming Language. It introces those new to programming, as well as those experienced in other programming languages, to the principles of types, computation, and program construction.

• Purely Functional Data Structures (Chris Okasaki)

  This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. All source code is given in Standard ML and Haskell.

• Exploring ReasonML and Functional Programming

  This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML's familiar syntax.