Web Rss

http://www.cs.uu.nl/wiki/bin/view/DTP The DTP web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2013 by contributing authors cs.uu.nl TWiki Administrator [stwiki@cs.uu.nl] The contributing authors of TWiki TWiki http://www.cs.uu.nl/wiki/bin/view/DTP http://www.cs.uu.nl/wiki/pub/Main/li-dsol-small.png http://www.cs.uu.nl/wiki/bin/view/DTP/VerificationChallenge Verification challenges Each student is expected to (attempt to) verify a non trivial functional program in Coq. I'm open to suggestions, but I would recommend looking ... (last changed by WouterSwierstra) 2013-06-20T06:55:07Z WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/CourseSchedule The tentative schedule of the upcoming lectures can be found below. This may still change! Date Topic Resources Slides 23 Apr Introduction ... (last changed by WouterSwierstra) 2013-06-20T06:53:28Z WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/WebNews 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 ... (last changed by WouterSwierstra) 2013-06-14T07:57:43Z WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/Assignments The following assignments should be completed individually and submitted by email. They will show up here as the course progresses. Assignment Deadline ... (last changed by WouterSwierstra) 2013-06-14T07:55:38Z WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/CoursePapers Required reading mathematics and computer programming foundations up to and including the chapter on Logic programming with dependent types selected ... (last changed by WouterSwierstra) 2013-05-30T06:50:04Z WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/WebLeftBar Home Page Course schedule Assignments Papers VerificationChallenge Agda Coq (last changed by WouterSwierstra) 2013-04-23T09:43:20Z WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/CourseMaterials Topics The course will cover three topics: a general introduction to dependent types and their implementation; the Coq proof assistant; the Agda programming ... (last changed by WouterSwierstra) 2013-04-23T09:38:34Z WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/Agda The programming language we will use throughout the second part of this course. Agda2 is a dependently typed programming language with a specific focus on programming ... (last changed by WouterSwierstra) 2013-04-23T08:18:27Z WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/WebHome Seminar on Dependently Typed Programming Welcome to this seminar taking place in block 4 of the academic year 2012/2013 at Utrecht University. Navigate by clicking ... (last changed by WouterSwierstra) 2013-02-25T11:07:06Z WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/Coq You can find most of the information you will need about Coq on the homepage. Installing There are available for Windows and !MacOS X. Linux users should probably ... (last changed by WouterSwierstra) 2012-02-27T14:21:26Z WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/EducationPage The page above is included from http://www.cs.uu.nl/education/vak.php?vak mdtp jaar 2008 (last changed by DoaitseSwierstra) 2010-09-15T06:01:25Z DoaitseSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/PresentationSlides Erik, Paul Equational reasoning (code) Sep 30 Mathijs, Tom Eliminators Oct 2 Chris, Sebas Rules Oct 2 Joeri, Jeroen equality Oct 7 ... (last changed by AndresLoeh) 2008-10-24T13:52:52Z AndresLoeh http://www.cs.uu.nl/wiki/bin/view/DTP/WebIndex (last changed by AndresLoeh) 2008-08-29T09:09:28Z AndresLoeh http://www.cs.uu.nl/wiki/bin/view/DTP/WebChanges (last changed by AndresLoeh) 2008-08-29T09:07:33Z AndresLoeh http://www.cs.uu.nl/wiki/bin/view/DTP/WebPreferences DTP Web Preferences The following settings are web preferences of the DTP web. These preferences overwrite the site level preferences in . and , and ... (last changed by AndresLoeh) 2008-08-29T09:04:29Z AndresLoeh http://www.cs.uu.nl/wiki/bin/view/DTP/WebTopicList (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor