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 (19 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 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


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


Programming Languages: Application and Interpretation

Post date: 30 Sep 2006
This textbook shows students where programming languages come from, why they should regard languages as the ultimate form of abstraction, how to recognize such an evolving abstraction, and how to turn what they recognize into a language.
Author(s): Shriram Krishnamurthi
Publication date: 01 Jan 2006
Tags: Functional Programming
 
Programming Languages: Application and Interpretation

Programming Languages: Application and Interpretation

Post date: 30 Sep 2006
This textbook shows students where programming languages come from, why they should regard languages as the ultimate form of abstraction, how to recognize such an evolving abstraction, and how to turn what they recognize into a language.
Author(s): Shriram Krishnamurthi
Publication date: 01 Jan 2006
Tags: Functional Programming


Real World Haskell

Post date: 29 Apr 2009
This book shows the readers how to use functional programming and Haskell to solve realistic problems. This is a hands-on book: every chapter contains dozens of code samples, and many contain complete applications.
 
Real World Haskell

Real World Haskell

Post date: 29 Apr 2009
This book shows the readers how to use functional programming and Haskell to solve realistic problems. This is a hands-on book: every chapter contains dozens of code samples, and many contain complete applications.

Real World OCaml: Functional Programming for the Masses

Post date: 16 Mar 2016
An introduction to OCaml, an industrial-strength programming language designed for expressiveness, safety, and speed. Examples inside will help readers quickly learn how OCaml stands out as a tool for writing fast, succinct, and readable systems code.
 
Real World OCaml: Functional Programming for the Masses

Real World OCaml: Functional Programming for the Masses

Post date: 16 Mar 2016
An introduction to OCaml, an industrial-strength programming language designed for expressiveness, safety, and speed. Examples inside will help readers quickly learn how OCaml stands out as a tool for writing fast, succinct, and readable systems code.


Book Categories