Difference between revisions of "Template:Evaluation strategy"
Jump to navigation
Jump to search
Template documentation
imported>Thumperward (fix2) |
|||
| Line 16: | Line 16: | ||
** [[Call by macro expansion]] | ** [[Call by macro expansion]] | ||
* [[Nondeterministic strategies]] | * [[Nondeterministic strategies]] | ||
| − | ** [[Full | + | ** [[Full -reduction]] |
** [[Call by future]] | ** [[Call by future]] | ||
** [[Optimistic evaluation]] | ** [[Optimistic evaluation]] | ||
Revision as of 06:19, 25 March 2012
| Evaluation strategies |
|---|
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |