Functional Programming III
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 
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
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 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
