Functional Programming I
Authored by Graham Hutton, this online course module introduces the basic axioms of functional programming using Haskell, which is a modern functional programming language. It introduces the learner to the basic ideas of functional programming, immutability of data, purity of function, higherorder functions. Students will work through practical examples and exercises to build a firm grasp of methods in functional programming. This course is aimed at understanding and applying core principles in Haskell to enable learners to fathom the advantages and paradigms of functional programming. Therefore, its a good resource for beginners who wish to investigate functional programming through getting their hands dirty with Haskell.
Author(s): Graham Hutton
NA Pages 
Functional Programming by Tyng Ruey Chuang
This PDF covers the following topics related to Functional Programming, Basics of functional programming, Fold or unfold functions, Parametric modules, Function, evaluation, and binding, Fold or unfold functions for data types.
Author(s): Tyng–Ruey Chuang
21 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
Authored by Graham Hutton, this online course module introduces the basic axioms of functional programming using Haskell, which is a modern functional programming language. It introduces the learner to the basic ideas of functional programming, immutability of data, purity of function, higherorder functions. Students will work through practical examples and exercises to build a firm grasp of methods in functional programming. This course is aimed at understanding and applying core principles in Haskell to enable learners to fathom the advantages and paradigms of functional programming. Therefore, its a good resource for beginners who wish to investigate functional programming through getting their hands dirty with Haskell.
Author(s): Graham Hutton
NA Pages
