Backtracking, interleaving, and terminating monad transformers (0)

by O Kiselyov, C chieh Shan, D P Friedman, A Sabry
Venue:ICFP ’05: Proc. of the 10th ACM SIGPLAN Intl. Conf. on Functional Programming