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 
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 TyngRuey 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 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
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
