Deriving backtracking monad transformers. Pages 186–197 of: ICFP ’00 (2000)

by Ralf Hinze
Venue:Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming