Welcome to E-Books Directory
This page lists freely downloadable books.
Functional Programming Theory
E-Books for free online viewing and/or download
e-books in this category
Purely Functional Data Structures
by Chris Okasaki - Carnegie Mellon University , 1996
This book describes data structures from the point of view of functional languages. The author includes both classical data structures, such as red-black trees, and a host of new data structures developed exclusively for functional languages.
Professor Frisby's Mostly Adequate Guide to Functional Programming
- GitBook , 2015
Functional Programming in Qi
by Mark Tarver - Upfront Publishing , 2008
The book is both a comprehensive introduction to Qi and to functional programming. It covers foundational material and is suitable for an undergraduate introduction to functional programming. It also explores the theoretical foundations of Qi.
Real World Functional Programming
by Tomas Petricek, Jon Skeet, Yin Zhu - Manning Publications , 2010
Real World Functional Programming is a unique tutorial that explores the functional programming model through the F# and C# languages. The clearly presented ideas and examples teach readers how functional programming differs from other approaches.
Category Theory and Functional Programming
by Mikael Vejdemo-Johansson - University of St. Andrews , 2012
An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.
A Gentle Introduction to ML
by Andrew Cumming - Napier University , 1998
Functional languages such as ML, Hope and Lisp allow us to develop programs which will submit logical analysis relatively easily. Using a functional language we can make assertions about programs and prove these assertions to be correct.
Certified Programming with Dependent Types
by Adam Chlipala , 2011
The purpose of this book is to convince people who write software that the technology of program verification is mature enough today that it makes sense to use it in a support role in many kinds of research projects in computer science.
Functional Programming and Parallel Graph Rewriting
by Rinus Plasmeijer, Marko van Eekelen - Addison-Wesley , 1993
An introduction to the techniques of functional programming, the associated computational models and the implementation of functional programming languages on both sequential and parallel machines. All the chapters include a summary and exercises.
Concurrent Programming in Erlang
by Robert Virding, Claes Wikstrom, Mike Williams - Prentice Hall PTR , 1996
A tutorial of Erlang, a concurrent, functional programming language. The emphasis of this book is on learning through example and a number of well known problems in designing and programming concurrent fault-tolerant real-time systems.
The Implementation of Functional Programming Languages
by Simon Peyton Jones - Prentice Hall , 1987
The book describes how to translate a high-level functional language into an intermediate language, develops a simple implementation of the lambda calculus, and describes the G-machine which provides a dramatic increase in performance.
Programming in Standard ML
by Robert Harper , 2008
Introduction to programming with the Standard ML - a formally defined programming language. The text covers the core language, declarations, functions, products and records, recursive functions, type inference and polymorphism, lists, and more.
The Design of Functional Programs - A Calculational Approach
by Dr. Robert Richard Hoogerwoord - Technische Universiteit Eindhoven , 1989
This document was started as a research to what extent functional programs can be designed in a calculational way. This should be possible because functional-program notations carry less operational connotations than their sequential counterparts do.