View source for CEFP2013

The 2013 edition of the CEFP Summerschool, this year called [http://dsl2013.math.ubbcluj.ro/index.html DSL 2013], features a lecture about task-oriented programming with Clean and iTasks.

On this page you can find the material for the lab sessions that accompany this lecture.

== Clean + iTasks for CEFP 2013 Course ==
For the CEFP course, a snapshot of Clean 2.4 + iTasks for 32-bit windows is available that works out of the box.
You can download it here: [http://www.cs.ru.nl/~baslijns/iTasks-prereleases/CleanWithiTasks-20130704.zip CleanWithiTasks-20130704.zip]

Here are some additional resources:
# [https://wiki.clean.cs.ru.nl/File:Ligretto_framework.zip]: a framework for the Ligretto case study (ligretto_framework.zip).
  WARNING SPOILERS AHEAD: if you really want to implement the case study yourself, then do not download this version!! 
  This is a complete implementation of the Ligretto case study!!
# [https://wiki.clean.cs.ru.nl/File:Ligretto_case_study.ppt‎]: brief explanation of the Ligretto case study and the above framework.
# [https://wiki.clean.cs.ru.nl/File:assignments.ppt] the lab assignments.
# [https://wiki.clean.cs.ru.nl/File:Assignments_answers.ppt] possible solutions and explanations to the lab assignments.
# [https://wiki.clean.cs.ru.nl/File:TOP_Part_1_CEFP_2013.ppt]: the first lecture slides
# [https://wiki.clean.cs.ru.nl/File:TOP_Part_2_CEFP_2013.ppt]: the second lecture slides