Monad Transformers for Backtracking Search Jules Hedges Queen Mary University of London This paper extends Escard´o and Oliva’s selection monad to the selection monad transformer, a general monadic

First Page		Document Content
Date: 2014-04-10 20:31:04		Monad Transformers for Backtracking Search Jules Hedges Queen Mary University of London This paper extends Escard´o and Oliva’s selection monad to the selection monad transformer, a general monadic Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 192,45 KB Share Document on Facebook