22 citations · 103 across the 26 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2015★ 4 cited
The selection monad as a CPS transformation
Jules Hedges
A computation in the continuation monad returns a final result given a continuation, ie. it is a function with type . If we instead return the intermediate result…
cs.PL2014★ 15 cited
Monad Transformers for Backtracking Search
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…