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

by Oleg Kiselyov, chieh Shan, Friedman Chung, P Daniel, Amr Sabry
Venue:SIGPLAN Not