NPTEL Video Course : Principles of Programming Languages

Lecture 34 - Type Checking