Read Practical Aspects Of Declarative Languages: 9Th International Symposium, Padl 2007, Nice, France, January 14 15, 2007. Proceedings