Practical Aspects of Declarative Languages14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings - SpringerLink (Online service)