Publications
 
  Toy system
   Declarative Programming Group
   Teaching
   Scientific activities