http://www-ps.informatik.uni-kiel.de/currywiki/ Sat, 21 Nov 2009 12:17:00 +0100 FeedCreator 1.7.2-ppt DokuWiki http://www-ps.informatik.uni-kiel.de/currywiki/lib/images/favicon.ico http://www-ps.informatik.uni-kiel.de/currywiki/ http://www-ps.informatik.uni-kiel.de/currywiki/applications?rev=1212700143 SOL SOL is a web-based system to support practical assignments of courses, e.g., it is applied in computer science courses at the University of Kiel. SOL provides web-based functionality for lectures, tutors (who correct assignments), and students. Lectures can structure courses into units that contain various assignments, e.g., multiple/single choice tests, gap texts, programming tasks etc. Students can submit their solutions to a learning unit which will be judged by tutors. Students can for… Thu, 05 Jun 2008 23:09:03 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/logo?rev=1220880637 This side shows a collection of proposals for a new Curry logo. [ pdf] [ pdf] [ pdf] [ pdf] [ pdf] Mon, 08 Sep 2008 15:30:37 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/navigation?rev=1220895155 Implementations * PAKCS * KiCS * MCC Documentation * Curry Report * Tutorial * Mailing List Tools * COOSy * CurryBrowser * CurryDoc * CurryTest * B.I.O. Debugger * iCODE * EasyCheck * CyCoTest Mon, 08 Sep 2008 19:32:35 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/start?rev=1220281462 A Truly Integrated Functional Logic Language Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming. Moreover, it also covers the most important operational principles developed in the area of integrated functional logic languages: “residuation” and “narrowing” (there is an older survey and a newer survey on functional logic programming). Mon, 01 Sep 2008 17:04:22 +0100