This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 1990 of 2,872·45. Type Systems and SemanticsPro lesson
Type Checking
Understanding how type checkers verify that operations are applied to values of appropriate types before or during execution.