Functional Programming by Loyola Marymount University

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

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

Functional Programming I

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

Functional Programming Lecture notes (PDF 72P)

This note covers the following topics: introduction, pattern matching, The Sieve of Eratosthenes, Fibonacci Series, Folding Lists, Data types, An expression evaluator, Lambda Calculus, Modules, type inference, Uni cation algorithm, The type inference algorithm, Type classes, Functions with varible number of arguments.

Author(s): Piyush P Kurur

72 Pages