Programming Language Theory Flashcard
According to robert (bob) harper, what is a sort, syntactically?
Books
Concepts
Decklanguage theory
Question
According to robert (bob) harper, what is a sort, syntactically?
Answer
Basically a syntactic category of an AST.