"Functional and Logic Programming, 6th International Symposium, FLOPS 2002, ..."

Zhenjiang Hu, Mario Rodríguez-Artalejo (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics