Course content for the Stevens Institute of Technology Spring 2019 offering of CS 810: Type Systems.
This course focusses on the theory behind type systems, and type checking and infrence problems.
bidirectional/
features a simple bidirectional type checker implemented with
the help of Bindlib
.
inference/
features a type inference engine built for an extended version of
the language used previously.
lectures/
features all the lecture slides from the course and exercise-booklets
features all the optional exercises to help prepare for exams.