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 
Introduction to Functional Programming and the Structure of Programming Languagesusing OCaml
This note the following topics: syntax and semantics, Polymorphic functions and iteration, Lists, Constructor types, Trees and linearization, Parsing, Mini OCaml interpreter, Running time, Inductive correctness proofs, Arrays and data structures.
Author(s): Gert Smolka, Saarland University
195 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. Object-Oriented, Point-Free 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 &
Author(s): Simon Thompson
NA Pages
This note explains the fundamental programming concepts such as recursion, abstraction, higher-order functions and data types, whilst at the same time emphasizing the practical use of such constructs by applying them within a graphical environment.
Author(s): University of Edinburgh
NA Pages
