Backtracking with cut via a distributive law and left-zero...

Backtracking with cut via a distributive law and left-zero monoids

PIRÓG, MACIEJ, STATON, SAM
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
27
Year:
2017
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796817000077
File:
PDF, 226 KB
english, 2017
Conversion to is in progress
Conversion to is failed