Type Soundness
Channel: Shriram Krishnamurthi
Date: 29/10/2012

A brief introduction to the concept of type soundness, created for CSCI 1730, Programming Languages, at Brown University.