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 categoriesBooks under this sub-category (26 books)
Programming and Programming Languages
Post date: 10 Dec 2016An 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
Document Type: Textbook
Programming and Programming Languages
Post date: 10 Dec 2016An 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
Document Type: Textbook
Programming in Martin-Löf's Type Theory: An Introduction
Post date: 07 Nov 2006An 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.
Programming in Martin-Löf's Type Theory: An Introduction
Post date: 07 Nov 2006An 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.
Post date: 06 Nov 2006
This book is an introduction to programming with the Standard ML, a formally defined programming language.
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
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Document Type: Book
Post date: 06 Nov 2006This 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
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States Document Type: Book
Programming Languages: Application and Interpretation
Post date: 30 Sep 2006This 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
Post date: 30 Sep 2006This 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
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.
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
Publication date: 31 Dec 2008
License: Creative Commons Attribution-NonCommercial 3.0 Unported
Document Type: Book
Post date: 29 Apr 2009This 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
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 2016An 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.
Publisher:
O’Reilly Media, Inc.
Publication date: 25 Nov 2013
License: Creative Commons Attribution-No Derivative Works 3.0 United States License
Publication date: 25 Nov 2013
License: Creative Commons Attribution-No Derivative Works 3.0 United States License
Real World OCaml: Functional Programming for the Masses
Post date: 16 Mar 2016An 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.
Publisher:
O’Reilly Media, Inc.
Publication date: 25 Nov 2013
License: Creative Commons Attribution-No Derivative Works 3.0 United States License
Publication date: 25 Nov 2013
License: Creative Commons Attribution-No Derivative Works 3.0 United States License
Stuff Goes Bad: Erlang in Anger
Post date: 30 Oct 2016A 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
License: Creative Commons Attribution-ShareAlike 4.0 International
Document Type: Book
Stuff Goes Bad: Erlang in Anger
Post date: 30 Oct 2016A 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
License: Creative Commons Attribution-ShareAlike 4.0 International Document Type: Book
The Implementation of Functional Programming Languages
Post date: 01 Dec 2006Describes 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
Post date: 01 Dec 2006Describes 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 2006These 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
Document Type: Lecture Notes
Type Systems for Programming Languages
Post date: 06 Nov 2006These 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
Document Type: Lecture Notes
Type Theory and Functional Programming
Post date: 06 Nov 2006This 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.
Type Theory and Functional Programming
Post date: 06 Nov 2006This 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.
Using, Understanding, and Unraveling The OCaml Language
Post date: 11 Apr 2008These 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
Post date: 11 Apr 2008These 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
Computer Science
Introduction to Computer Science
Introduction to Computer Programming
Algorithms and Data Structures
Artificial Intelligence
Computer Vision
Machine Learning
Neural Networks
Game Development and Multimedia
Data Communication and Networks
Coding Theory
Computer Security
Information Security
Cryptography
Information Theory
Computer Organization and Architecture
Operating Systems
Image Processing
Parallel Computing
Concurrent Programming
Relational Database
Document-oriented Database
Data Mining
Big Data
Data Science
Digital Libraries
Compiler Design and Construction
Functional Programming
Logic Programming
Object Oriented Programming
Formal Methods
Software Engineering
Agile Software Development
Information Systems
Geographic Information System (GIS)
Mathematics
Mathematics
Algebra
Abstract Algebra
Linear Algebra
Number Theory
Numerical Methods
Precalculus
Calculus
Differential Equations
Category Theory
Proofs
Discrete Mathematics
Theory of Computation
Graph Theory
Real Analysis
Complex Analysis
Probability
Statistics
Game Theory
Queueing Theory
Operations Research
Computer Aided Mathematics
Supporting Fields
Web Design and Development
Mobile App Design and Development
System Administration
Cloud Computing
Electric Circuits
Embedded System
Signal Processing
Integration and Automation
Network Science
Project Management
Operating System
Programming/Scripting
Ada
Assembly
C / C++
Common Lisp
Forth
Java
JavaScript
Lua
Rexx
Microsoft .NET
Perl
PHP
R
Python
Rebol
Ruby
Scheme
Tcl/Tk
Miscellaneous
Most Popular Books
428,836
Introduction to Objective Caml
243,865
Notes for the Course of Algorithms
234,342
Lessons In Electric Circuits
207,708
[No longer available] A Beginners C++
161,790
Introduction to Object-Oriented Programming Using C++
159,674
A Short Introduction to Operating Systems
158,896
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
154,829
C Programming Tutorial (K&R version 4)
152,315
Computer Organization and Design Fundamentals
147,443
Programming The Nintendo Game Boy Advance: The Unofficial Guide
Sponsors