Functional logic design patterns (2002)

by S Antoy, M Hanus
Venue:In FLOPS, Z. Hu and M. Rodŕıguez-Artalejo, Eds. Lecture Notes in Computer Science