Curry: an Integrated Functional Logic Language, (Draft version) RWTH (1997)

by M Hanus, H Kuchen