scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to books
Kitchen
/
Journeys
/
Programming language theory
/
Chapter 1. abstract syntax
Robert Harper
Practical foundations for programming languages
Robert Harper
·
2016
Preface
Robert Harper
Part i. judgments and rules
Robert (Bob) Harper
Concepts
Operator Arity
Sort
Variable
Variable Abstract Syntax Tree Ast
Operator Abstract Syntax Tree Ast
Fresh Variable Abstract Syntax Tree Ast
Substitution Subject Substitution Target
Capture Avoiding Substitution
Scope Binding
Valence Actual Parameter Argument
←
1 / 2
→
Content
No content yet.
← Previous chapter
Part i. judgments and rules
Next chapter →
Programming language pragmatics