Web Home

MTCH

Master Seminar Type Checking

16 August 2011: website is available, although largely empty

This is the homepage of the master seminar on type checking that will be taught in the fourth period of the 2011-2012 academic year. More information still to follow...