This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 2015 of 2,872·45. Type Systems and SemanticsPro lesson
Bidirectional Type Checking
Combining inference and checking modes for more expressive type systems.