Functional Programming

A style of programming that emphasizes the evaluation of expressions, rather than execution of commands. The expressions in these language are formed by using functions to combine basic values.

All categories

Books under this sub-category (23 books)

A Functional Pattern System for Object-Oriented Design

Post date: 01 Nov 2006
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.
Author(s): Thomas Kühne
Publication date: 01 Aug 1999
Tags: Functional Programming
 
A Functional Pattern System for Object-Oriented Design

A Functional Pattern System for Object-Oriented Design

Post date: 01 Nov 2006
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.
Author(s): Thomas Kühne
Publication date: 01 Aug 1999
Tags: Functional Programming


A Gentle Introduction to Haskell

Post date: 24 Mar 2005
An introduction to Haskell, a general purpose, purely functional programming language incorporating many recent innovations in programming language design.
Author(s): Joseph Fasel Paul Hudak John Peterson
Publication date: 01 Jun 2000
Tags: Functional Programming
 
A Gentle Introduction to Haskell

A Gentle Introduction to Haskell

Post date: 24 Mar 2005
An introduction to Haskell, a general purpose, purely functional programming language incorporating many recent innovations in programming language design.
Author(s): Joseph Fasel Paul Hudak John Peterson
Publication date: 01 Jun 2000
Tags: Functional Programming


Applicative Programming and Specification

Post date: 25 Feb 2007
Addresses the issues of combining the virtues of functional programming with the virtues of imperative programming. Uses both Standard ML and Extended ML language for the implementation.
Author(s): Stephen Gilmore
Publication date: 01 Oct 1993
Tags: Functional Programming
 
Applicative Programming and Specification

Applicative Programming and Specification

Post date: 25 Feb 2007
Addresses the issues of combining the virtues of functional programming with the virtues of imperative programming. Uses both Standard ML and Extended ML language for the implementation.
Author(s): Stephen Gilmore
Publication date: 01 Oct 1993
Tags: Functional Programming


Computational Semantics and Type Theory

Post date: 30 Oct 2006
Covers applications of logic in the semantic analysis of language, specified in a functional programming (Haskell) framework.
Author(s): Jan van Eijck Christina Unger
Publication date: 01 Nov 2010
Tags: Functional Programming
 
Computational Semantics and Type Theory

Computational Semantics and Type Theory

Post date: 30 Oct 2006
Covers applications of logic in the semantic analysis of language, specified in a functional programming (Haskell) framework.
Author(s): Jan van Eijck Christina Unger
Publication date: 01 Nov 2010
Tags: Functional Programming


Developing Applications With Objective Caml

Post date: 03 Nov 2006
A comprehensive book on Objective Caml, covering not only the core language, but also modules, objects and classes, threads and systems programming, and interoperability with C.
Author(s): Emmanuel Chailloux Pascal Manoury Bruno Pagano
Publication date: 31 Dec 2000
Tags: Functional Programming
 
Developing Applications With Objective Caml

Developing Applications With Objective Caml

Post date: 03 Nov 2006
A comprehensive book on Objective Caml, covering not only the core language, but also modules, objects and classes, threads and systems programming, and interoperability with C.
Author(s): Emmanuel Chailloux Pascal Manoury Bruno Pagano
Publication date: 31 Dec 2000
Tags: Functional Programming


Functional PHP: The Art of Function Composition

Post date: 01 Nov 2016
Provides professional PHP developers a practical approach to functional programming and show how it compares to other programming paradigms (procedural and object-oriented).
Author(s): Luis Atencio
Publication date: 01 Sep 2016
Document Type: Book
Tags: Functional Programming PHP
 
Functional PHP: The Art of Function Composition

Functional PHP: The Art of Function Composition

Post date: 01 Nov 2016
Provides professional PHP developers a practical approach to functional programming and show how it compares to other programming paradigms (procedural and object-oriented).
Author(s): Luis Atencio
Publication date: 01 Sep 2016
Document Type: Book
Tags: Functional Programming PHP


Functional Programming in Scheme

Post date: 03 Aug 2016
A teaching material about functional programming in Scheme. Illustrated with examples from the area of web programming and web authoring.
Author(s): Kurt Nørmarks
Publication date: 01 Sep 2003
Document Type: Textbook
Tags: Functional Programming Scheme
 
Functional Programming in Scheme

Functional Programming in Scheme

Post date: 03 Aug 2016
A teaching material about functional programming in Scheme. Illustrated with examples from the area of web programming and web authoring.
Author(s): Kurt Nørmarks
Publication date: 01 Sep 2003
Document Type: Textbook
Tags: Functional Programming Scheme


Implementing functional languages: a tutorial

Post date: 24 Oct 2004
A practical approach to understanding implementations of non-strict functional languages using lazy graph reduction.
Author(s): Simon Peyton Jones David Lester
Publication date: 31 Dec 1992
Tags: Functional Programming
 
Implementing functional languages: a tutorial

Implementing functional languages: a tutorial

Post date: 24 Oct 2004
A practical approach to understanding implementations of non-strict functional languages using lazy graph reduction.
Author(s): Simon Peyton Jones David Lester
Publication date: 31 Dec 1992
Tags: Functional Programming


Introduction to Functional Programming

Post date: 16 Oct 2006
Shows the transition from imperative programming to functional programming. Introduces lambda calculus, how to add types to it, and how to use ML to implement basic functional programming, polymorphism, exceptions and imperative features.
Author(s): John Harrison
Publication date: 01 Dec 1997
Tags: Functional Programming
 
Introduction to Functional Programming

Introduction to Functional Programming

Post date: 16 Oct 2006
Shows the transition from imperative programming to functional programming. Introduces lambda calculus, how to add types to it, and how to use ML to implement basic functional programming, polymorphism, exceptions and imperative features.
Author(s): John Harrison
Publication date: 01 Dec 1997
Tags: Functional Programming


Introduction to Objective Caml

Post date: 11 Apr 2008
This book presents a practical introduction and guide to Objective Caml, with topics ranging from how to write a program to the concepts and conventions that affect how programs are developed in Objective Caml.
Author(s): Jason Hickey
Publication date: 01 Jan 2008
Tags: Functional Programming
 
Introduction to Objective Caml

Introduction to Objective Caml

Post date: 11 Apr 2008
This book presents a practical introduction and guide to Objective Caml, with topics ranging from how to write a program to the concepts and conventions that affect how programs are developed in Objective Caml.
Author(s): Jason Hickey
Publication date: 01 Jan 2008
Tags: Functional Programming


Learn You a Haskell for Great Good! - A Beginner's Guide

Post date: 31 Oct 2016
A tutorial aimed at people who have experience in imperative programming languages but haven't programmed in a functional language before.
Author(s): Miran Lipovača
Publication date: 01 Apr 2011
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported
Document Type: Book
Tags: Functional Programming
 
Learn You a Haskell for Great Good! - A Beginner's Guide

Learn You a Haskell for Great Good! - A Beginner's Guide

Post date: 31 Oct 2016
A tutorial aimed at people who have experience in imperative programming languages but haven't programmed in a functional language before.
Author(s): Miran Lipovača
Publication date: 01 Apr 2011
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported
Document Type: Book
Tags: Functional Programming


Learn You Some Erlang for Great Good!

Post date: 31 Oct 2016
This book is a way to learn Erlang for people who have basic knowledge of programming in imperative languages (such as C/C++, Java, Python, Ruby, etc) and may or may not know functional programming (such as Haskell, Scala, Erlang, Clojure, OCaml, etc).
Author(s): Fred Hebert
Publication date: 19 Jan 2013
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Book
Tags: Functional Programming
 
Learn You Some Erlang for Great Good!

Learn You Some Erlang for Great Good!

Post date: 31 Oct 2016
This book is a way to learn Erlang for people who have basic knowledge of programming in imperative languages (such as C/C++, Java, Python, Ruby, etc) and may or may not know functional programming (such as Haskell, Scala, Erlang, Clojure, OCaml, etc).
Author(s): Fred Hebert
Publication date: 19 Jan 2013
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Book
Tags: Functional Programming


Practical Foundations for Programming Languages, 2nd Edition (Preview)

Post date: 02 May 2008
Covers the foundations of programming languages. Emphasizes on the concept of type structure that governs programming languages syntax and semantics.
Author(s): Robert Harper
Publication date: 01 Jul 2015
Document Type: Book
Tags: Functional Programming
 
Practical Foundations for Programming Languages, 2nd Edition (Preview)

Practical Foundations for Programming Languages, 2nd Edition (Preview)

Post date: 02 May 2008
Covers the foundations of programming languages. Emphasizes on the concept of type structure that governs programming languages syntax and semantics.
Author(s): Robert Harper
Publication date: 01 Jul 2015
Document Type: Book
Tags: Functional Programming


Programming in Martin-Löf's Type Theory: An Introduction

Post date: 07 Nov 2006
An introduction to type theory as a theory for program construction. Describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.
Author(s): Bengt Nordström Kent Petersson Jan M. Smith
Publication date: 31 Dec 1990
Tags: Functional Programming
 
Programming in Martin-Löf's Type Theory: An Introduction

Programming in Martin-Löf's Type Theory: An Introduction

Post date: 07 Nov 2006
An introduction to type theory as a theory for program construction. Describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.
Author(s): Bengt Nordström Kent Petersson Jan M. Smith
Publication date: 31 Dec 1990
Tags: Functional Programming


Programming in Standard ML

Post date: 06 Nov 2006
This book is an introduction to programming with the Standard ML, a formally defined programming language.
Author(s): Robert Harper
Publication date: 02 Nov 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Document Type: Book
Tags: Functional Programming
 
Programming in Standard ML

Programming in Standard ML

Post date: 06 Nov 2006
This book is an introduction to programming with the Standard ML, a formally defined programming language.
Author(s): Robert Harper
Publication date: 02 Nov 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Document Type: Book
Tags: Functional Programming


Book Categories