KNOWPIA
WELCOME TO KNOWPIA
List of functional programming topics 
Summary
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
- Setq
- Closure
- Continuation
- Continuation passing style
- Operational semantics
- State transition system
- Simulation preorder
- Bisimulation
- Monads in functional programming
- Exception handling
- Garbage collection
Programming languages edit
- Clean
- Clojure
- Elixir
- Erlang
- FP
- F#
- Haskell
- Glasgow Haskell Compiler
- Gofer
- Hugs
- Template Haskell
- ISWIM
- JavaScript
- Kent Recursive Calculator
- Lisp
- Mercury
- Miranda
- ML (Category:ML programming language family)
- Pure, predecessor Q
- Q (programming language from Kx Systems)
- Quantum programming
- Scala
- SISAL
- Ωmega