Answers are grounded in this paper and cite their sources.
An applicative language based on the LAMBDA-Calculus is presented. The language, SLIPS (Small Language for Instruction Purposes), is described using the LAMBDA-Calculus as a metalanguage. A call-by-need mechanism of function invocation eliminates the drawbacks of both call-by-name and call-by-value. The system has been implemented in PASCAL.
No takes yet. Share an insight, caveat, or question.
Gehlot et al. (1986) studied this question.
Synapse has enriched 8 related papers. Consider them for comparative context: