Declarative Programming and (Co)Induction 2014

Period: June 23-27, 2014
Number of hours: 20