Lec15-Type-checking.pdf