Static Semantics¶
- Type Systems
- Constraint-Based Static Semantics
- Name Binding
- Type Analysis
- Completion
- Other Approaches
Name Resolution¶
The following video is from a talk about name binding with scope graphs at the Curry On 2017 conference and covers some of the same material.