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
Introduction to Functional Programming
This note covers the following topics: Lambda calculus, Lambda calculus as a programming language, Types, A taste of ML, Proving programs correct, Effective ML.
Author(s): John Harrison
168 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
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
