The slides presented below are inspired from many sources. Some of the chief sources are listed below. Jens Palsberg (UCLA), Suresh Jaganathan (Purdue), Benjamin Pierce (UPenn), William Cook (UTexas).