List of functional programming topics: Difference between revisions

Revision as of 11:49, 17 May 2004

Revision as of 14:45, 17 May 2004

Line 31:

*[[Typed lambda calculus]]

*[[Typed and untyped languages]]

*[[First-class value]]

*[[Calculus of Constructions]]

*[[Datatype]]

==[[Denotational semantics]]==

Line 48 ⟶ 51:

*[[Speculative evaluation]]

*[[Side effects]]

*[[Assignment]]

**[[Setq]]

*[[Operational semantics]]

*[[State transition system]]

Line 61 ⟶ 66:

*[[Kent Recursive Calculator]]

*[[Lisp]]

**[[AutoLISP]]

**[[Common Lisp]]

**[[Emacs Lisp]]

*[[Mercury programming language]]

*[[Miranda programming language]]