Programming Language Theory Flashcard
In which evaluation strategy, the one-step evaluation relation is a partial function on terms?
Books
Concepts
Deckpure-lambda-calculus
Question
In which evaluation strategy, the one-step evaluation relation is a partial function on terms?
Answer
Normal order.
Call by name.
Call by need.
Call by value.