Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - Kutsia, Temur (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Programming Languages (ACM, 2010)