List of functional programming topics

This is a list of functional programming topics, by Wikipedia page.

Foundational concepts

• Purely functional
• Higher-order function
• Referential transparency

Lambda calculus

• Currying
  • Currying concept
• Lambda abstraction
• Church-Rosser theorem
• Extensionality
• Church numeral

Combinatory logic

• Fixed point combinator
• SECD machine
• Graph reduction machine

Intuitionistic logic

• Curry-Howard isomorphism
• Linear logic
• Game semantics

Type theory

• Typed lambda calculus
• Calculus of Constructions

Denotational semantics

• Domain theory

Category theory

• Cartesian-closed category

Operational issues

• Graph reduction
• Non-strict programming language
• Lazy evaluation, eager evaluation
• Speculative evaluation
• Side effects
• Operational semantics
• State transition systems
• Simulation preorder
• Bisimulation
• Garbage collection

Languages

• Clean programming language
• Erlang programming language
• Haskell programming language
• Kent Recursive Calculator
• Lisp
• Mercury programming language
• Miranda programming language
• ML programming language
• Scheme programming language
• SML programming language