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:09, 17 May 2004
(Initial list)
. The present address (URL) is a
permanent link
to this revision, which may differ significantly from the
current revision
.
Revision as of 11:09, 17 May 2004 by
Charles Matthews
(
talk
|
contribs
)
(Initial list)
(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
Intuitionstic 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
Intuitionstic 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