Functional Programming by TyngRuey Chuang
Tyng-Ruey Chuang's "Functional Programming" gives a condensed summary of the leading concepts of functional programming. The basic concepts of functional programming are covered in this PDF and expose the core principles and paradigms. Among other things, it considers fold and unfold functions that are indispensable in the treatment of data structures in a functional manner. The paper also considers parameterized modules, which allow flexible and reusable parts of code. Main topics are function evaluation and binding, raw items of how functions work and interact in functional programming languages. Addressing these notions, Chuang's notes give a chance for brief but intensive introduction to the techniques and practices of functional programming.
Author(s): Tyng–Ruey Chuang
21 Pages 
This book contains below topics, Programming in Standard ML, Types, values, and effects, Declarations, Functions, Products and records, Case analysis, Recursive functions, Concrete data types, Higher order functions, Modules.
Author(s): Robert Harper, Carnegie Mellon University
297 Pages
Functional Programming by Loyola Marymount University
This page covers the following topics related to Functional Programming, The Basics, Language Support, Moving From Imperative to Functional, Higher Order Functions, Closures, Purity and Side Effects, Theoretical Foundations, Functional vs. ObjectOriented, PointFree Programming, Summary.
Author(s): Loyola Marymount University
NA Pages
Functional Programming Lecture Notes by David Walker
David Walkers Functional Programming Lecture Notes give quite an extended introduction to functional programming using OCaml. The notes introduce the reader to the very basics of OCaml and simple manipulations of data, from thinking in recursion to problemsolving. It covers Polymorphism and HigherOrder programming, commonly referred to as PolyHO. It will discuss functions operating on other functions and even data. Pipelines and datatypes have been explained purely from functional programming paradigms. It first introduces the functional evaluation model and functional space model, thereby introducing the reader to the theoretical points of view of functional programming. Equational reasoning, modules, functors, and modular reasoning are other topics treated within this context, while more practical aspects concern mutable data structures, threads, and parallel complexity models. This book will no doubt be very useful to those readers who would wish to become acquainted with both the theory and practice of functional programming.
Author(s): David Walker
NA Pages
Type Theory and Functional Programming
This book explains the following topics, Propositional Logic, Predicate Logic, Functional Programming and and
Author(s): Simon Thompson
NA Pages
