This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 2011 of 2,872·45. Type Systems and SemanticsPro lesson
Algorithm W
The classic type inference algorithm that traverses expressions to generate constraints.