Advertisement
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 
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
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
Type Theory and Functional Programming
This book explains the following topics: Propositional Logic, Predicate Logic, Functional Programming and &
Author(s): Simon Thompson
NA Pages
This note covers the following topics: The Memory Management, Graph Reduction , Garbage Collection, Memory Allocation, Lambda Calculus, The four stroke reduction engine and A list of Miranda's built-in functions.
Author(s): Christopher D. Clack
NA Pages
Functional Programming in Scheme With Web Programming Examples
This note covers the following topics: programming paradigms, expressions types and functions, name binding recursion iteration and continuation, higher order functions, the order of evaluation, linguistic abstraction, laml, object oriented programming in scheme, imperative programming in scheme.
Author(s): Kurt Normark
NA PagesAdvertisement
