List of functional programming topics explained
This is a list of functional programming topics.
Foundational concepts
Lambda calculus
Combinatory logic
Intuitionistic logic
Type theory
Denotational semantics
Category theory
Operational issues
Programming languages