Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings - Claudio Russo, Neng-Fa Zhou ((Lecture Notes in Computer Science))