Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings - Carro, Manuel (Springer-Verlag Berlin Heidelberg, 2010)