This is a list of functional programming topics.
Foundational concepts edit
Lambda calculus edit
Combinatory logic edit
Intuitionistic logic edit
Type theory edit
Denotational semantics edit
Category theory edit
Operational issues edit
- Graph reduction
- Strict programming language
- Lazy evaluation, eager evaluation
- Speculative evaluation
- Side effect
- Assignment
- Closure
- Continuation
- Continuation passing style
- Operational semantics
- State transition system
- Simulation preorder
- Bisimulation
- Monads in functional programming
- Exception handling
- Garbage collection