Eliminating Irrelevant Non-determinism in Functional Logic Programs

S. Antoy,M. Hanus
DOI: https://doi.org/10.1007/978-3-319-51676-9_1
2017-01-16
Abstract:
What problem does this paper attempt to address?