Content deleted Content added
mNo edit summary |
m +lks |
||
Line 17:
==[[Combinatory logic]]==
*[[Graph reduction machine]]
*[[Fixed point combinator]]
Line 35 ⟶ 37:
*[[Cartesian-closed category]]
==Operational issues==
*[[Graph reduction]]
*[[Non-strict programming language]]
*[[Lazy evaluation]], [[eager evaluation]]
*[[Speculative evaluation]]
*[[Side effects]]
==Languages==
*[[Clean programming language]]
*[[Erlang programming language]]
*[[Haskell programming language]]
*[[Kent Recursive Calculator]]
*[[Lisp]]
*[[Mercury programming language]]
*[[Miranda programming language]]
*[[ML programming language]]
*[[Scheme programming language]]
|