Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings - Manuel Carro, Ricardo Peña ((Lecture Notes in Computer Science))