Deriving backtracking monad transformers (2000)

by Ralf Hinze
Venue:In ICFP ’00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming