Proceedings of the 9th international conference on Practical Aspects of Declarative Languages - Hanus, Michael; Hutchison, David; Kanade, Takeo; Association for Computing Machinery-Digital Library; Kittler, Josef (Springer Berlin Heidelberg, 2007)