This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 2023 of 2,872·45. Type Systems and SemanticsPro lesson
Semantics of Variable Assignment and State
Modeling program state as environments and defining how assignments update variable bindings.