Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings - Sagonas, Kostis. (Springer Berlin Heidelberg,)