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]

Combinatory logic[edit]

Intuitionistic logic[edit]

Type theory[edit]

Denotational semantics[edit]

Category theory[edit]

Operational issues[edit]

Languages[edit]