Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2010)