

This section contains free ebooks and guides on Functional Programming, some of the resources in this section can be viewed online and some of them can be downloaded.




Introduction to Functional ProgrammingJohn HarrisonPDF  168 Pages  EnglishThis note covers the
following topics: Lambda calculus, Lambda calculus as a programming language,
Types, A taste of ML, Proving programs correct, Effective ML.
 Introduction to Functional ProgrammingTim SheardOnline  NA Pages  EnglishThis 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.
  Functional Programming by Jeroen FokkerJeroen FokkerPDF  155 Pages  EnglishThis book covers the
following topics: Functional Programming, Functional Languages, Standard
functions, Numbers and functions, Functions as a parameter, Data structures,
Tuples, List Algorithms, Combinatorial Functions, Code transformation.
 Functional Programming IIIUniversity of EdinburghOnline  NA Pages  EnglishThis note explains the
fundamental programming concepts such as recursion, abstraction, higherorder
functions and data types, whilst at the same time emphasizing the practical use
of such constructs by applying them within a graphical environment.
 Functional Programming IGraham
HuttonOnline  NA Pages  EnglishThe aim of this course module is to teach the basic principles of
functional programming, using the modern functional language Haskell.
 Functional Programming Lecture notes (PDF 72P)Piyush P KururPDF  72 Pages  EnglishThis 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.
 Functional Programming IIChristopher D. ClackOnline  NA Pages  EnglishThis 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 builtin functions.
 Functional Programming in Scheme With Web Programming ExamplesKurt NormarkOnline  NA Pages  EnglishThis
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.
 Notes on Functional Programming with Haskell (PDF 184P)H. Conrad
CunninghamPDF  184 Pages  EnglishThis 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, inputoutput, haskell
laws, program synthesis, models of reduction, divide and conquer algorithms,
infinite data structures.









