Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Programming Languages
  4. Backtracking with cut via a distributive law and left−zero monoids

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

Maciej Pirόg and Sam Staton

Journal
J. Funct. Program.
Pages
e17
Volume
27
Year
2017

Links

See Also

Back to Top