15-312 Foundations of Programming Languages
Lecture 6: Type Safety

In this lecture we will discuss the importance of type safety and consider several formulations. We will also prove the critical properties for MinML as presented so far, namely progress and preservation. Together, they show that well-typed programs cannot go wrong, a much used and abused slogan.