• Title Programming in Standard ML
• Author(s) Robert Harper
• Publisher: Carnegie Mellon University (2011)
• Hardcover/Paperback N/A
• eBook HTML and PDF
• Language: English
• ISBN-10: N/A
• ISBN-13: N/A
• Share This:  

Book Description

Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers.

This book is an introduction to programming with the Standard ML programming language. It began life as a set of lecture notes for Computer Science 15-212: Principles of Programming, the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University. It has subsequently been used in many other courses at Carnegie Mellon, and at a number of universities around the world.

The emphasis of this book is on informal derivation of examples that show both correct and incorrect approaches. It shows functional language as a practical tool for software design and contains real life examples to allow for large scale software engineering issues.

• N/A

• Amazon

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

• Programming in Standard ML (Robert Harper)
• 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.

• Programming in Standard ML '97: A Tutorial Introduction

  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.

• 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.