Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings - Ricardo Rocha, John Launchbury ((Lecture Notes in Computer Science))