Curry: A truly functional logic language (1995)

by M Hanus, H Kuchen, J Moreno-Navarro
Venue:In Proc. ILPS’95 Workshop on Visions for the Future of Logic Programming