Introduction to Functional Programming by David Gardner
English | Jul. 11, 2015 | ASIN: B011H3R448 | 168 Pages | EPUB/PDF | 1.08 MB
English | Jul. 11, 2015 | ASIN: B011H3R448 | 168 Pages | EPUB/PDF | 1.08 MB
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