This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Defining type safety as freedom from type errors and soundness as the guarantee that well-typed programs don't go wrong.
You've completed the free preview. Subscribe to unlock every lesson in every course.