Deriving backtracking monad transformers (Q2943369)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deriving backtracking monad transformers |
scientific article |
Statements
Deriving backtracking monad transformers (English)
0 references
11 September 2015
0 references
Haskell
0 references
Prolog
0 references
backtracking
0 references
continuations
0 references
cut
0 references
monad transformers
0 references
monads
0 references
program derivation
0 references
