Programming Language Theory Flashcard
What does "variables in an AST range over some specified sorts" mean?
Books
Concepts
Decklanguage theory
Question
What does "variables in an AST range over some specified sorts" mean?
Answer
Variables are placeholders for ASTs of some specified sorts.