Web Atom

The DTP web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://www.cs.uu.nl/wiki/bin/view/DTP Copyright 2013 by contributing authors 2013-06-14T07:57:43Z http://www.cs.uu.nl/wiki/bin/view/DTP/WebNews 2013-06-14T07:57:43Z

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)

WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/Assignments 2013-06-14T07:55:38Z

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)

WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/CourseSchedule 2013-06-13T20:43:24Z

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)

WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/VerificationChallenge 2013-06-04T08:41:55Z

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)

WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/CoursePapers 2013-05-30T06:50:04Z

Required reading mathematics and computer programming foundations up to and including the chapter on Logic programming with dependent types selected ... (last changed by WouterSwierstra)

WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/WebLeftBar 2013-04-23T09:43:20Z

Home Page Course schedule Assignments Papers VerificationChallenge Agda Coq (last changed by WouterSwierstra)

WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/CourseMaterials 2013-04-23T09:38:34Z

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)

WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/Agda 2013-04-23T08:18:27Z

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)

WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/WebHome 2013-02-25T11:07:06Z

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)

WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/Coq 2012-02-27T14:21:26Z

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)

WouterSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/EducationPage 2010-09-15T06:01:25Z

The page above is included from http://www.cs.uu.nl/education/vak.php?vak mdtp jaar 2008 (last changed by DoaitseSwierstra)

DoaitseSwierstra http://www.cs.uu.nl/wiki/bin/view/DTP/PresentationSlides 2008-10-24T13:52:52Z

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)

AndresLoeh http://www.cs.uu.nl/wiki/bin/view/DTP/WebIndex 2008-08-29T09:09:28Z

(last changed by AndresLoeh)

AndresLoeh http://www.cs.uu.nl/wiki/bin/view/DTP/WebChanges 2008-08-29T09:07:33Z

(last changed by AndresLoeh)

AndresLoeh http://www.cs.uu.nl/wiki/bin/view/DTP/WebPreferences 2008-08-29T09:04:29Z

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)

AndresLoeh http://www.cs.uu.nl/wiki/bin/view/DTP/WebStatistics 2008-01-12T15:22:00Z

Statistics for DTP Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ... (last changed by TWikiGuest)

TWikiGuest