Home
Random
Nearby
Log in
Settings
Donate Now
If Wikipedia is useful to you, please give today.
About Wikipedia
Disclaimers
Search
List of functional programming topics
Article
Talk
Language
Watch
Edit
This is an
old revision
of this page, as edited by
Charles Matthews
(
talk
|
contribs
)
at
11:10, 17 May 2004
. The present address (URL) is a
permanent link
to this revision, which may differ significantly from the
current revision
.
Revision as of 11:10, 17 May 2004 by
Charles Matthews
(
talk
|
contribs
)
(
diff
)
← Previous revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
This is a
list of
functional programming
topics
, by Wikipedia page.
Contents
1
Foundational concepts
2
Lambda calculus
3
Combinatory logic
4
Intuitionistic logic
5
Type theory
6
Denotational semantics
7
Category theory
8
Languages
Foundational concepts
Purely functional
Higher-order function
Referential transparency
Lambda calculus
Currying
Currying concept
Lambda abstraction
Church-Rosser theorem
Extensionality
Church numeral
Combinatory logic
Fixed point combinator
Intuitionistic logic
Curry-Howard isomorphism
Linear logic
Game semantics
Type theory
Denotational semantics
Domain theory
Category theory
Cartesian-closed category
Languages
Clean programming language
Haskell programming language
Lisp
Mercury programming language
Scheme programming language