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.