Functional programming

The Wolfram Language, a general multi-paradigm programming language developed by Wolfram Research, is the programming language of Mathematica and the Wolfram Programming Cloud.

In many programming languages, map is the name of a higher-order function that applies a given function to each element of a list, returning a list of results in the same order.

Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis.

Wolfram Mathematica (sometimes referred to as Mathematica) is a symbolic mathematical computation program, sometimes called a computer algebra program, used in many scientific, engineering, mathematical, and computing fields.

Hope is a small functional programming language developed in the 1970s at Edinburgh University.

Regular numbers are numbers that evenly divide powers of 60 (or, equivalently powers of 30).

The Journal of Functional Programming is a peer-reviewed scientific journal covering the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice.

In programming languages and type theory, polymorphism (from Greek πολύς, polys, "many, much" and μορφή, morphē, "form, shape") is the provision of a single interface to entities of different types.

In computer science, partial application (or partial function application) refers to the process of fixing a number of arguments to a function, producing another function of smaller arity.

Erik Meijer (born 18 April 1963, Curaçao) is a Dutch computer scientist and entrepreneur.

Functional logic programming is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification).

SequenceL is a general purpose functional programming language and auto-parallelizing (Parallel computing) tool set, whose primary design objectives are performance on multi-core processor hardware, ease of programming, platform portability/optimization, and code clarity and readability.

In computer science, a type class is a type system construct that supports ad hoc polymorphism.

GNU Guix (English pronunciation: /ɡiːks/) is a package manager for the GNU System.

Frenetic is a domain-specific language for programming software-defined networks (SDNs).

The Quark Framework (Open Quark) consists of a non-strict functional language and runtime for the Java platform.

Paul Raymond Hudak (July 15, 1952 – April 29, 2015) was an American professor of computer science at Yale University who was best known for his involvement in the design of the Haskell programming language, as well as several textbooks on Haskell and computer music.

In computer programming, a thunk is a subroutine that is created, often automatically, to assist a call to another subroutine.

Nix is a package manager for computer systems.

Philip Lee "Phil" Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory.

In computer science, A-normal form (abbreviated ANF) is an intermediate representation of programs in functional compilers introduced by Sabry and Felleisen in 1992 as a simpler alternative to continuation-passing style (CPS).

Lout is a batch document formatter invented by Jeffrey H.