e-books in Functional Programming Theory category
Learn Functional Programmingby Goran Jovic - learn-functional-programming.com , 2024
The purpose of this book is to explain the main concepts in functional programming as simply as possible. The focus is not on implementation details of a specific language, compiler or platform, but on the concepts themselves.
(1369 views)
Exploring ReasonML and Functional Programmingby Axel Rauschmayer - ReasonML Hub , 2018
This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML's familiar syntax.
(7364 views)
Functional Programming in Pythonby David Mertz - O'Reilly Media , 2015
Python is not a functional programming language, but it is a multi-paradigm language that makes functional programming easy to perform. This book examines the functional aspects of the language and points out which options work well and which do not.
(11526 views)
Purely Functional Data Structuresby 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.
(11424 views)
Professor Frisby's Mostly Adequate Guide to Functional Programming- GitBook , 2015
This is a book on the functional paradigm in general. We will use the world's most popular functional programming language: JavaScript. JavaScript will be our means of learning a paradigm, where you apply it is up to you.
(8808 views)
Real World Functional Programmingby 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.
(10458 views)
Category Theory and Functional Programmingby 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.
(14808 views)
A Gentle Introduction to MLby 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.
(11157 views)
Certified Programming with Dependent Typesby 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.
(10892 views)
Functional Programming and Parallel Graph Rewritingby 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.
(10304 views)
Concurrent Programming in Erlangby 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.
(21044 views)
The Conception, Evolution, and Application of Functional Programming Languagesby Paul Hudak - Yale University , 1989
The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several periods. The attention is paid to the main features that characterize functional languages.
(12483 views)
Programming in Standard MLby Robert Harper - Carnegie Mellon University , 2011
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.
(12858 views)
The Design of Functional Programs - A Calculational Approachby 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.
(12043 views)