Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings - Russo, Claudio; Zhou, Neng-Fa (Springer Berlin Heidelberg, 2012)