Stanford University: Keith Schwarz's "Type Checking II"

Study the application of the type proof system (introduced above) to the detection of type errors.

Click http://web.archive.org/web/20160310174956/http://www.keithschwarz.com/cs143/WWW/sum2011/lectures/100_Type_Checking_2.pdf link to open resource.