List of functional programming topics

From Wikipedia, the free encyclopedia
Jump to: navigation, search

This is a list of functional programming topics.

Foundational concepts[edit]

Lambda calculus[edit]

Further information: Lambda calculus

Combinatory logic[edit]

Further information: Combinatory logic

Intuitionistic logic[edit]

Further information: Intuitionistic logic

Type theory[edit]

Further information: Type theory

Denotational semantics[edit]

Further information: Denotational semantics

Category theory[edit]

Further information: Category theory

Operational issues[edit]

Programming languages[edit]

Further information: Programming language