Stanford University: Keith Schwarz's "Type Checking"

Study the very interesting presentation on type checking by proofs.

Click http://web.archive.org/web/20160310174833/http://www.keithschwarz.com/cs143/WWW/sum2011/lectures/090_Type_Checking.pdf link to open resource.