Difference between revisions of "Template:Evaluation strategy"

From blackwiki
Jump to navigation Jump to search
imported>Thumperward
(fix2)
Line 16: Line 16:
 
** [[Call by macro expansion]]
 
** [[Call by macro expansion]]
 
* [[Nondeterministic strategies]]
 
* [[Nondeterministic strategies]]
** [[Full β-reduction]]
+
** [[Full -reduction]]
 
** [[Call by future]]
 
** [[Call by future]]
 
** [[Optimistic evaluation]]
 
** [[Optimistic evaluation]]

Revision as of 06:19, 25 March 2012