Practical aspects of declarative languages 13th international symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 ; proceedings - Rocha, Ricardo (Lecture notes in computer science, 2011)