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 Tyng Ruey 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
John Harrisons Introduction to Functional Programming, This set of notes provides a very accessible introduction to the fundamental principles and methods of functional programming in general. The PDF begins with an investigation of lambda calculus as a theoretical framework for functional programming and proceeds further with the review of its application as a programming language. Types are considered in the notes just to give a glimpse into type systems and how they play their role in functional programming. This document serves as an introduction to ML, a metalanguage that practically introduces the concepts of programming. It also covers the importance of proving programs correct by describing methods for the reliability of programs. Finally, effective ML covers the best practices and techniques to write robust and efficient functional programs. This book is a good reference for learners who want to understand both the theoretical underpinnings and practical application of functional programming.
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
This course note, from the University of Edinburgh and offered online, emphasizes from a very practical point of view how to apply basic functional programming concepts in a graphical environment. Major topics to be covered include recursion, abstraction, higherorder functions, and several different data typeshow all these concepts can be used to solve problems is demonstrated. The note introduces theoretical aspects but underlines their practical relevance by showing how these can be put into practice within graphical programming contexts. Learners develop a solid, theoretically based understanding of functional programming principles and get real practical experience applying these principles to graphical applications. This resource takes an integrated approach in the way that it interrelates theory and practice, hence acting as a bridge from concepts of functional programming to reallife practice.
Author(s): University of Edinburgh
NA Pages
