COP 5021 Lecture -*- Outline -*- for type checking

* introduction

* type-checking

* in-xtext