Course contentsShow
Computer Science
Lesson 1989 of 2,87245. Type Systems and SemanticsPro lesson

Type Safety and Type Soundness

Defining type safety as freedom from type errors and soundness as the guarantee that well-typed programs don't go wrong.

This lesson is for subscribers

You've completed the free preview. Subscribe to unlock every lesson in every course.