![](/img/cover-not-exists.png)
Backtracking with cut via a distributive law and left-zero monoids
PIRÓG, MACIEJ, STATON, SAMVolume:
27
Year:
2017
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796817000077
File:
PDF, 226 KB
english, 2017