Deriving backtracking monad transformers (0)

by R Hinze
Venue:ACM SIGPLAN Notices