The 2013 edition of the CEFP Summerschool, this year called 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: CleanWithiTasks-20130704.zip
Here are some additional resources:
- : 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!!