Introduction to Functional Programming

by David Gardner

Chapter 1 - Introduction
Chapter 2 - Lambda calculus
Chapter 3 - Lambda calculus as a programming language
Chapter 4 - Types
Chapter 5 - A taste of ML
Chapter 6 - Further ML
Chapter 7 - Proving programs correct
Chapter 8 - Effective ML
Chapter 9 - Examples

168 pages, Kindle Edition

First published July 11, 2015

About the author

Librarian note:
Ther is more than one author in the GoodReads database with this name
This profile may contain books from multiple authors of this name