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