Practical aspects of declarative languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings - Launchbury, John; Rocha, Ricardo (Lecture Notes in Computer Science,, 2011)