Introduction to Functional Programming
This note covers the following topics, Introduction to Haskell and Lazy, Functional Programming, Datatypes, Programs and Proofs, Simple Graphics, Polymorphism, Trees, Regions, Proofs by Induction, The Haskell Class System, Simple Animations, Infinite Lists and Streams, Reactive Animations, Higher Order Types, Functional Music and Interpreting Music.
Author(s): Tim Sheard
NA 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 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
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
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
