Bharat Jayaraman Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings PADL Lecture Notes in Computer Science 3057 Springer 2004 3-540-22253-7 db/conf/padl/padl2004.html