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
Functional Programming Lecture Notes by David Walker
This note covers the following topics: O'Caml, Simple Data, Thinking Recursively, Poly-HO: Polymorphism and Higher-Order Programming, Pipelines, Datatypes, The Functional Evaluation Model, Functional Space Model, Equational Reasoning, Modules and Functors, Modular Reasoning, Mutable Data Structures and Imperative Interfaces, Threads, Locks and Mutable Data, Parallel Complexity Model, Parallel Scans and Filters.
Author(s): David Walker
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
The aim of this course module is to teach the basic principles of functional programming, using the modern functional language Haskell.
Author(s): Graham Hutton
NA Pages
