Curry: A Truly Functional Logic Language (1995)

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