22 citations · 103 across the 26 of their papers we have counts for
1 paper · 2 filters
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…