Concept
Call by need
Books
Journey Statusmastered Tags
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.