Ppdp 12 Proceedings of the 2012 Acm Sigplan Principles and Practice of Declarative Programming - Ppdp12 Conference Committee (Association for Computing Machinery)