Practical Aspects of Declarative Languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings - Kostis Sagonas ((Lecture Notes in Computer Science))