Shriram Krishnamurthi

Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science, 2257)