Advertisement
Notes on Functional Programming with Haskell (PDF 184P)
This note covers the following topics: functions and their definitions, using the hugs interpreter, haskell basics, higher order functions, more list notations, more on data types, input-output, haskell laws, program synthesis, models of reduction, divide and conquer algorithms, infinite data structures.
Author(s): H. Conrad Cunningham
184 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
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
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 (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 PagesAdvertisement
