Processing ......
Links to Free Computer, Mathematics, Technical Books all over the World
Functional Programming and Lambda
Related Book Categories:
  • Object-Oriented vs. Functional Programming (R. Warburton)

    This book discusses similarities between these programming paradigms and points out that both FP and OOP are actually moving closer toward one another. One prominent example is the use of lambda expressions in Java and other OOP languages.

  • Mostly Adequate Guide To Functional Programming

    This is a book on the functional paradigm in general. We'll use the world's most popular functional programming language: JavaScript. This makes it possible to practice and apply your acquired knowledge each day on real world programs.

  • Functional Programming in Python (David Mertz)

    It describes ways to avoid Python's imperative-style flow control, the nuances of callable functions, how to work lazily with iterators, and the use of higher-order functions. He also lists several third-party Python libraries useful for functional programming.

  • The Haskell School of Music - From Signals to Symphonies

    This book explores the fundamentals of computer music and functional programming through the Haskell. It explores common paradigms used in algorithmic music composition, such as stochastic generation, musical grammars, etc.

  • Functional Programming in OCaml (Michael R. Clarkson, et al.)

    This book is a multi-dimensional presentation of the OCaml language that combines an informal and intuitive approach to the language with a rigorous definition and a formal semantics of a large subset of the language, including ML.

  • Writing Native Mobile Apps in a Functional Language Succinctly

    This book shows how you can use a customized functional language to build fully functional mobile apps. You will build off the skills you’ve already developed to begin creating applications that you can put to immediate use.

  • Exploring ReasonML and Functional Programming

    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.

  • Purely Functional Data Structures (Chris Okasaki)

    This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. All source code is given in Standard ML and Haskell.

  • Type Theory and Functional Programming (Simon Thompson)

    This book explores the role of Martin-Lof's constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice.

  • Functional Programming in Scheme (Kurt Normark)

    This is a book about functional programming in Scheme, which is a pragmatic choice of programming language in the functional programming paradigm, with unique flexibility due to the membership of the Lisp family of languages.

  • Functional-Light JavaScript (Kyle Simpson)

    This book is a balanced, pragmatic exploration of Functional Programming (FP) in JavaScript. It explores the core principles of FP as they are applied to JavaScript without drowning in all the heavy terminology.

  • A Look at Functional Programming with Standard ML

    This book uses the Standard ML programming language as a vehicle to study functional programming. Learn about type deduction, pattern matching, currying, partial application, composition of functions, and why variables and loops really aren't needed!

  • Imperative to Functional Programming Succinctly (Marc Clifton)

    Learn the main concepts behind functional programming such as currying, partial application, and monads, and how to combine functional programming with your imperative programming projects.

  • Composing Software: Functional and Object Composition

    All software design is composition: the act of breaking complex problems down into smaller problems and composing those solutions. Most developers have a limited understanding of compositional techniques. It's time for that to change.

  • A Functional Pattern System for Object-Oriented Design

    This book promotes the idea that concepts from the world of functional programming can be captured with design pattern descriptions. These can then be used to benefit from functional programming concepts with ordinary object-oriented languages (e.g. Eiffel).

  • Real World Functional Programming: With Examples in F# and C#

    This book 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.

  • Sketchy LISP: Introduction to Functional Programming

    This book is a step-by-step introduction to functional programming in Scheme. By means of numerous examples of varying complexity, it takes the reader on an entertaining and informative tour through the language.

  • Real World OCaml: Functional Programming for the Masses

    This hands-on book shows you how to take advantage of OCaml's functional, imperative, and object-oriented programming styles with recipes for many real-world tasks. Quickly learn how to put OCaml to work for writing succinct and readable code.

  • Functional PHP: The Art of Functional Composition (Luis Atencio)

    This book provides a practical approach to functional programming and show how it compares to other programming paradigms (procedural and object-oriented). It is filled with examples that showcase functional concepts and techniques.

  • Elementary Algorithms (Xinyu Liu)

    This book doesn't only focus on an imperative (or procedural) approach, but also includes purely functional algorithms and data structures. The examples are in multiple programming languages: Haskell, C, Python, C++, Scheme/Lisp.

  • Write You a Haskell: Building a Modern Functional Compiler

    We will build a small functional language called Fun which is a partial Haskell toy language. The knowledge to build such a modern functional language is not widely disseminated among many programmers.

  • Functional Programming in Java: Java 8 Lambda Expressions

    This short, targeted book will help you quickly get on top of the new, essential Java 8 language features and the functional style that will change and improve your code.

  • Learning Scala: Practical Functional Programming for the JVM

    This book is an introduction and a guide to getting started with functional programming (FP) development. It introduces the reader to the core Scala syntax and its OO models with examples and solutions that build confidence with the language.

  • Let Over Lambda - 50 Years of Lisp (Doug Hoyte)

    This book is one of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: Common Lisp.

  • Haskell: Functional Programming with Types (Joeri van Eekelen)

    In this book, we aim to introduce you both to the Haskell language, from the very basics to its most advanced features, and to computer programming in general.

  • Higher-Order Perl: Transforming Programs with Programs

    This book is about functional programming techniques in Perl. It's about how to write functions that can modify and manufacture other functions.

  • Functional C (Pieter Hartel, Henk Muller )

    This book teaches how to program in C, assuming that the student has already learnt how to formulate algorithms in a functional style.

  • Functional Programming in QI, 2nd Edition (Mark Tarver)

    This book is both a comprehensive introduction to Qi and to functional programming, covers foundational material and explores the theoretical foundations of Qi, including lambda calculus, type theory and logic programming, etc.

  • Clojure for the Brave and True (Daniel Higginbotham)

    The book gives you the development tools and language details of Clojure needed to start playing with real programs immediately.

  • Functional Programming and Parallel Graph Rewriting

    This is an introduction to the techniques of functional programming, focusing on an alternative computational model - Graph Rewriting Systems. The book demonstrates and discusses the potential power of concurrent functional programming and the implementation on loosely coupled parallel architectures.

  • Implementing Functional Languages: A Tutorial

    This book provides a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. It is intended to help students to develop, modify and experiment with their own implementations.

  • The Implementation of Functional Programming Languages

    This book is about implementations, not languages, it will make no attempt to extol the virtues of functional languages or the functional programming style, assumes that the reader is familiar with functional programming.

  • Programming in Martin-Lof's Type Theory: An Introduction

    This book focuses on the type theory developed by Per Martin-Lof. It contains a thorough introduction to the Martin-Lof's Type Theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

  • Computational Category Theory (David E. Rydeheard,, et al.)

    This book is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. It it proceeds from algorithm to algorithm until all of elementary category theory is laid out in precise computational form.

  • Category Theory for Programmers (Bartosz Milewski)

    In this category theory for programmers, the author illustrates all major concepts using computer code. You are probably aware that functional languages are closer to math than the more popular imperative languages. They also offer more abstracting power.

  • Category Theory for the Sciences (David I. Spivak)

    Using databases as an entry to category theory, this book explains category theory by examples, and shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences.

  • Certified Programming with Dependent Types on Sat Nov 12, 2016

    This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq code changes.

  • The Implementation of Functional Programming Languages

    This book is about implementations, not languages, it will make no attempt to extol the virtues of functional languages or the functional programming style, assumes that the reader is familiar with functional programming.

  • Categories, Types, and Structures (Andrea Asperti, et al)

    This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design.

  • Zen-Style Programming (Nils M. Holm)

    This book introduces the concepts of functional and symbolic programming, applies these techniques to some problems of varying complexity, and eventually discusses the implementation of an abstraction layer for solving problems.

Book Categories
Other Categories
Resources and Links