Backtracking, interleaving, and terminating monad transformers: (functional pearl (2005)

by O Kiselyov, C-c Shan, D P Friedman, A Sabry
Venue:In International Conference on Functional Programming