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 
Introduction to Functional Programming and the Structure of Programming Languagesusing OCaml
Gert Smolka's "Introduction to Functional Programming and the Structure of Programming Languages using OCaml" is an extensive tutorial that deals with the functional principles of programming using OCaml. The document first addresses basic issues like syntax and semantics, thereby providing a solid grounding in the theoretical issues concerning programming languages. Polymorphic functions are considered, iteration has been discussed, and lists, constructor types, and trees have been dealt with, including linearization. The notes include practical aspects such as parsing and a mini OCaml interpreter to help in the implementation of functional languages. Additional topics include running time analysis, inductive correctness proofs, and arrays. It takes a well-rounded approach to functional programming and data structures; both theoretical ideas and practice are emphasized.
Author(s): Gert Smolka, Saarland University
195 Pages
Functional Programming by TyngRuey Chuang
Tyng-Ruey Chuang's "Functional Programming" gives a condensed summary of the leading concepts of functional programming. The basic concepts of functional programming are covered in this PDF and expose the core principles and paradigms. Among other things, it considers fold and unfold functions that are indispensable in the treatment of data structures in a functional manner. The paper also considers parameterized modules, which allow flexible and reusable parts of code. Main topics are function evaluation and binding, raw items of how functions work and interact in functional programming languages. Addressing these notions, Chuang's notes give a chance for brief but intensive introduction to the techniques and practices of functional programming.
Author(s): Tyng–Ruey Chuang
21 Pages
Introduction to Functional Programming
These lecture notes by Piyush P Kurur elaborates on various functional programming topics in depth. The contents of the following topics are functional programming-introduction, pattern matching, and some useful algorithms like The Sieve of Eratosthenes and the Fibonacci Series. Advanced topics include folding of lists, lambda calculus, modules, type inference, and type classes. Examples of practical applications, such as an expression evaluator and functions with variable arguments, will provide learners with a sense of how theoretical material might be applied in real-world situations. These detailed lecture notes are intended for readers who would like to go through functional programming in depth - both explanations and exercises.
Author(s): Tim Sheard
NA Pages
Authored by Graham Hutton, this online course module introduces the basic axioms of functional programming using Haskell, which is a modern functional programming language. It introduces the learner to the basic ideas of functional programming: immutability of data, purity of function, higher-order functions. Students will work through practical examples and exercises to build a firm grasp of methods in functional programming. This course is aimed at understanding and applying core principles in Haskell to enable learners to fathom the advantages and paradigms of functional programming. Therefore, it's a good resource for beginners who wish to investigate functional programming through getting their hands dirty with Haskell.
Author(s): Graham Hutton
NA Pages
