C

• Combinatory logic (1 C, 9 P)

D

• Dependently typed programming (2 C, 13 P)

F

• Functional data structures (6 P)
• Functional languages (8 C, 122 P)

H

• Higher-order functions (12 P)

I

• Implementation of functional programming languages (3 C, 18 P)

L

• Lambda calculus (3 C, 48 P)

R

• Recursion schemes (6 P)

• Functional programming
• List of functional programming languages
• List of functional programming topics
• Purely functional programming

A

• A-normal form
• Actant
• Algebraic data type
• Anonymous function
• Append
• Applicative functor
• Arrow (computer science)

B

• Brouwer–Heyting–Kolmogorov interpretation

C

• Catamorphism
• Coinduction
• Cons
• Constructed product result analysis
• Continuation-passing style
• Corecursion
• Currying

D

• Direct function

F

• F-algebra
• First-class function
• Flatten (higher-order function)
• Frenetic (programming language)
• Function application
• Functional logic programming
• Functional reactive programming
• Functor (functional programming)

G

• Generalized algebraic data type
• GNU Guix
• Graph reduction machine

H

• Higher-order function
• Paul Hudak
• John Hughes (computer scientist)

I

• Immutable object
• Initial algebra
• International Conference on Functional Programming
• Iteratee

J

• Journal of Functional Programming

M

• Erik Meijer (computer scientist)
• Monad (functional programming)
• Monad transformer

N

• Nix (package manager)

O

• Option type

P

• Parser combinator
• Partial application
• Pattern matching
• Simon Peyton Jones
• Polymorphism (computer science)
• Pure function
• Purely functional data structure

R

• Regular number
• Result type

S

• John M. Scholes
• SequenceL
• Side effect (computer science)
• Skew binary number system
• Store-passing style
• Stream (abstract data type)
• Supercombinator

T

• Thunk
• TidalCycles
• Total functional programming
• Two-dimensional pattern matching
• Type class
• Type family
• Type variable

W

• Philip Wadler
• Wikifunctions

Z

• Zipper (data structure)