Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
50 lines (30 sloc) 2.98 KB

Static Semantics

  • Type Systems
  • Constraint-Based Static Semantics
  • Name Binding
  • Type Analysis
  • Completion
  • Other Approaches

Name Resolution

Slides PDF

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.

Type Checking

Slides PDF

Constraint Resolution I

Slides PDF

Constraint Resolution II

Slides PDF

Exercises PDF

Exercises + Solutions PDF