Paul Hudak David Scott Warren Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. PADL Lecture Notes in Computer Science 4902 Springer 2008 978-3-540-77441-9 db/conf/padl/padl2008.html