Backtracking with cut via a distributive law and left-zero monoids*. (13th July 2017)
- Record Type:
- Journal Article
- Title:
- Backtracking with cut via a distributive law and left-zero monoids*. (13th July 2017)
- Main Title:
- Backtracking with cut via a distributive law and left-zero monoids*
- Authors:
- PIRÓG, MACIEJ
STATON, SAM - Abstract:
- Abstract: We employ the framework of algebraic effects to augment the list monad with the pruning cut operator known from Prolog. We give two descriptions of the resulting monad: as the monad of free left-zero monoids, and as a composition via a distributive law of the list monad and the 'unary idempotent operation' monad. The scope delimiter of cut arises as a handler.
- Is Part Of:
- Journal of functional programming. Volume 27(2017)
- Journal:
- Journal of functional programming
- Issue:
- Volume 27(2017)
- Issue Display:
- Volume 27, Issue 2017 (2017)
- Year:
- 2017
- Volume:
- 27
- Issue:
- 2017
- Issue Sort Value:
- 2017-0027-2017-0000
- Page Start:
- Page End:
- Publication Date:
- 2017-07-13
- Subjects:
- Functional programming (Computer science) -- Periodicals
- Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=JFP ↗
http://firstsearch.oclc.org ↗ - DOI:
- 10.1017/S0956796817000077 ↗
- Languages:
- English
- ISSNs:
- 0956-7968
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library STI - ELD Digital store
- Ingest File:
- 2857.xml