Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings - Rocha, Ricardo; Launchbury, John (Springer Berlin Heidelberg, 2011)