15 citations · 19 across the 4 of their papers we have counts for
1 paper · 1 filter
Jules Hedges
This paper extends Escardo and Oliva's selection monad to the selection monad transformer, a general monadic framework for expressing backtracking search algorithms in Haskell. The…