Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - Schneider-Kamp, Peter (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Programming Languages (ACM, 2011)