Functional and Logic Programming 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings - Hu, Zhenjiang; Hu, Zhenjiang; Rodriquez-Artalejo, Mario; Rodriquez-Artalejo, Mario (Springer Berlin Heidelberg : Imprint: Springer, 2002)