You are here: UUCS>DTP Web>WebHome (25 Feb 2013, WouterSwierstra)EditAttach

Seminar on Dependently Typed Programming

Latest news

2013-06-11 Agda exercises now online.

2013-05-16 Added a second set of exercises. Updated the CourseSchedule with slides, coaching sessions, and a presentation schedule.

2013-05-07 Added the first exercise set

2013-05-06 Update verification projects and uploaded slides for the first two lectures.

2013-02-22 Updated homepage for new seminar.

-- WouterSwierstra - 22 Feb 2013

Welcome to this seminar taking place in block 4 of the academic year 2012/2013 at Utrecht University.

Navigate by clicking the links in the bar on the left.

Topic revision: r16 - 25 Feb 2013, WouterSwierstra

This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS? Send feedback