Publications
   Toy system
   Declarative Programming Group
   Teaching
   Scientific activities