Static Semantics¶

Type Systems

Constraint-Based Static Semantics

Name Binding

Type Analysis

Completion

Other Approaches

Name Resolution¶

Declare Your Language: Name Resolution from Eelco Visser

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.

Declare Your Language: Type Checking from Eelco Visser