Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings - Hanus, Michael.; Hanus, Michael. (Springer Berlin Heidelberg : Imprint: Springer, 2007)