Programming Language Theory Flashcard
According to robert (bob) harper, what is the scope of a binding?
Books
Concepts
Decklanguage theory
Question
According to robert (bob) harper, what is the scope of a binding?
Answer
The scope of a binding is an ABT in which the corresponding bound identifier can be used as a placeholder or an index of an indexed operator.