Logo

Programming in Standard ML by Robert Harper

Small book cover: Programming in Standard ML

Programming in Standard ML
by

Publisher: Carnegie Mellon University
Number of pages: 297

Description:
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.

Home page url

Download or read it online for free here:
Download link
(740KB, PDF)

Similar books

Book cover: Functional Programming in QiFunctional Programming in Qi
by - Upfront Publishing
The book is both a comprehensive introduction to Qi and to functional programming. It covers foundational material and is suitable for an undergraduate introduction to functional programming. It also explores the theoretical foundations of Qi.
(4807 views)
Book cover: Category Theory and Functional ProgrammingCategory Theory and Functional Programming
by - University of St. Andrews
An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.
(6830 views)
Book cover: A Gentle Introduction to MLA Gentle Introduction to ML
by - Napier University
Functional languages such as ML, Hope and Lisp allow us to develop programs which will submit logical analysis relatively easily. Using a functional language we can make assertions about programs and prove these assertions to be correct.
(4026 views)
Book cover: Purely Functional Data StructuresPurely Functional Data Structures
by - Carnegie Mellon University
This book describes data structures from the point of view of functional languages. The author includes both classical data structures, such as red-black trees, and a host of new data structures developed exclusively for functional languages.
(2914 views)