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 
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
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
This course note, from the University of Edinburgh and offered online, emphasizes from a very practical point of view how to apply basic functional programming concepts in a graphical environment. Major topics to be covered include recursion, abstraction, higherorder functions, and several different data typeshow all these concepts can be used to solve problems is demonstrated. The note introduces theoretical aspects but underlines their practical relevance by showing how these can be put into practice within graphical programming contexts. Learners develop a solid, theoretically based understanding of functional programming principles and get real practical experience applying these principles to graphical applications. This resource takes an integrated approach in the way that it interrelates theory and practice, hence acting as a bridge from concepts of functional programming to reallife practice.
Author(s): University of Edinburgh
NA Pages
