List of functional programming topics: Difference between revisions

Revision as of 11:36, 17 May 2004

Revision as of 11:49, 17 May 2004

Line 19:

*[[Fixed point combinator]]

*[[SECD machine]]

*[[Graph reduction machine]]

Line 28 ⟶ 29:

==[[Type theory]]==

*[[Typed lambda calculus]]

*[[Calculus of Constructions]]

==[[Denotational semantics]]==

Line 44 ⟶ 48:

*[[Speculative evaluation]]

*[[Side effects]]

*[[Operational semantics]]

*[[State transition systems]]

*[[Simulation preorder]]

*[[Bisimulation]]

*[[Garbage collection]]

==Languages==

Line 56 ⟶ 65:

*[[ML programming language]]

*[[Scheme programming language]]

*[[SML programming language]]