Practical aspects of declarative languages: 14th international symposium, PADL 2012 Philadelphia, PA, USA, January 23-24, 2012 : proceedings - Claudio Russo, editor (Springer-Verlag, 2012)