Web Home
DTP
Seminar on Dependently Typed Programming
Latest news
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.
