Concept
Call by need call by name call by value normal order full
Journey Statuslearning
INFO
(Lambda calculus, Semantics, Pure lambda calculus) An evaluation strategy similar to Call by name, but terms' values are cached to avoid re-evaluation.
INFO
(Lambda calculus, Semantics, Pure lambda calculus) An evaluation strategy similar to Call by name, but terms' values are cached to avoid re-evaluation.