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 (26 books)

Programming and Programming Languages

Post date: 10 Dec 2016
An introduction to programming and programming languages. This textbook intentionally includes mistakes in its examples, to make readers engage with the material.
Publication date: 30 Nov 2015
Document Type: Textbook
 
Programming and Programming Languages

Programming and Programming Languages

Post date: 10 Dec 2016
An introduction to programming and programming languages. This textbook intentionally includes mistakes in its examples, to make readers engage with the material.
Publication date: 30 Nov 2015
Document Type: Textbook


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.
Publisher: Oxford University Press
Publication date: 31 Dec 1990
 
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.
Publisher: Oxford University Press
Publication date: 31 Dec 1990


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.
Publication date: 02 Nov 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Document Type: Book
 
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.
Publication date: 02 Nov 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States Document Type: Book


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.
Publication date: 01 Jan 2006
 
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.
Publication date: 01 Jan 2006


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.
Publisher: O’Reilly Media, Inc.
Publication date: 31 Dec 2008
License: Creative Commons Attribution-NonCommercial 3.0 Unported
Document Type: Book
 
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.
Publisher: O’Reilly Media, Inc.
Publication date: 31 Dec 2008
License: Creative Commons Attribution-NonCommercial 3.0 Unported Document Type: Book


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.

Stuff Goes Bad: Erlang in Anger

Post date: 30 Oct 2016
A collection of tips and tricks to help understand where failures come from, and a dictionary of different code snippets and practices that helped developers debug production systems that were built in Erlang.
Publication date: 06 Apr 2016
License: Creative Commons Attribution-ShareAlike 4.0 International
Document Type: Book
 
Stuff Goes Bad: Erlang in Anger

Stuff Goes Bad: Erlang in Anger

Post date: 30 Oct 2016
A collection of tips and tricks to help understand where failures come from, and a dictionary of different code snippets and practices that helped developers debug production systems that were built in Erlang.
Publication date: 06 Apr 2016
License: Creative Commons Attribution-ShareAlike 4.0 International Document Type: Book


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.
Publication date: 31 Dec 1987
 
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.
Publication date: 31 Dec 1987


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.
Publication date: 01 Jan 2000
Document Type: Lecture Notes
 
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.
Publication date: 01 Jan 2000
Document Type: Lecture Notes


Type Theory and Functional Programming

Post date: 06 Nov 2006
This book gives the formal system for type theory, developing examples of both programs and proofs. From the functional programming point of view, this book stresses the differences between the system and more traditional languages.
Publisher: Addison-Wesley
Publication date: 31 Dec 1991
 
Type Theory and Functional Programming

Type Theory and Functional Programming

Post date: 06 Nov 2006
This book gives the formal system for type theory, developing examples of both programs and proofs. From the functional programming point of view, this book stresses the differences between the system and more traditional languages.
Publisher: Addison-Wesley
Publication date: 31 Dec 1991


Using, Understanding, and Unraveling The OCaml Language

Post date: 11 Apr 2008
These course notes provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions, including its object-oriented layer.
Publication date: 31 Dec 2001
 
Using, Understanding, and Unraveling The OCaml Language

Using, Understanding, and Unraveling The OCaml Language

Post date: 11 Apr 2008
These course notes provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions, including its object-oriented layer.
Publication date: 31 Dec 2001


Book Categories
Sponsors
Icons8, a free icon pack