Notes on Functional Programming with Haskell (PDF 184P)
This note covers the following topics: functions and their definitions, using the hugs interpreter, haskell basics, higher order functions, more list notations, more on data types, input-output, haskell laws, program synthesis, models of reduction, divide and conquer algorithms, infinite data structures.
Author(s): H. Conrad Cunningham
184 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
Introduction to Functional Programming
John Harrisons Introduction to Functional Programming, This set of notes provides a very accessible introduction to the fundamental principles and methods of functional programming in general. The PDF begins with an investigation of lambda calculus as a theoretical framework for functional programming and proceeds further with the review of its application as a programming language. Types are considered in the notes just to give a glimpse into type systems and how they play their role in functional programming. This document serves as an introduction to ML, a metalanguage that practically introduces the concepts of programming. It also covers the importance of proving programs correct by describing methods for the reliability of programs. Finally, effective ML covers the best practices and techniques to write robust and efficient functional programs. This book is a good reference for learners who want to understand both the theoretical underpinnings and practical application of functional programming.
Author(s): John Harrison
168 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
