Master Seminar
Type Checking
WebHome
- Education Page
- Description
- Literature
- Schedule and Slides
- Assignments
Center
Master Program
Course Literature
MTCH
The literature for this course still needs to be determined.
It shall consist of various papers on type (and effect) systems and
possibly chapters from the books by Benjamin Pierce.
-- JurriaanHage - 16 Aug 2011