Master Seminar
Type Checking
WebHome
-
Education Page
-
Description
-
Literature
-
Schedule and Slides
-
Assignments
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
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. -- Main.JurriaanHage - 16 Aug 2011
