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 (17 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: 04 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: 04 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


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


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

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.

The Implementation of Functional Programming Languages

Post date: 01 Dec 2006
Describes how to translate a high-level functional language into an intermediate language, called the lambda calculus, and its implementation using lazy graph reduction.
Author(s): Simon Peyton Jones
Publication date: 31 Dec 1987
Tags: Functional Programming
 
The Implementation of Functional Programming Languages

The Implementation of Functional Programming Languages

Post date: 01 Dec 2006
Describes how to translate a high-level functional language into an intermediate language, called the lambda calculus, and its implementation using lazy graph reduction.
Author(s): Simon Peyton Jones
Publication date: 31 Dec 1987
Tags: Functional Programming


Type Systems for Programming Languages

Post date: 06 Nov 2006
These lecture notes provides a unified account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
Author(s): Robert Harper
Publication date: 30 Nov -0001
Tags: Functional Programming
 
Type Systems for Programming Languages

Type Systems for Programming Languages

Post date: 06 Nov 2006
These lecture notes provides a unified account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
Author(s): Robert Harper
Publication date: 30 Nov -0001
Tags: Functional Programming



Book Categories