Curry: A Truly Functional Logic Language (1995)

by Michael Hanus, Herbert Kuchen, Jose Moreno-Navarro
Venue:In Proceedings of the ILPS’95 Workshop on Visions for the Future of Logic Programming