Backtracking, Interleaving, and Terminating Monad Transformers Export

@article{citeulike:304496, author = {Kiselyov, Oleg and Shan, Chung-Chieh and Friedman, Daniel P. and Sabry, Amr}, citeulike-article-id = {304496}, citeulike-linkout-0 = {http://okmij.org/ftp/papers/LogicT.pdf}, comment = {I'm not sure why they create a LogicT class in addition to LogicM. For any transformer T that's an instance of LogicT, you could instead do (Monad m) => LogicM (T m), and avoid having two classes.}, keywords = {backtracking, logic-programming, monad-transformers, monads}, posted-at = {2005-08-26 04:10:45}, priority = {0}, title = {Backtracking, Interleaving, and Terminating Monad Transformers}, url = {http://okmij.org/ftp/papers/LogicT.pdf} }

TY - JOUR ID - citeulike:304496 L3 - citeulike-article-id:304496 TI - Backtracking, Interleaving, and Terminating Monad Transformers KW - backtracking KW - logic-programming KW - monad-transformers KW - monads N1 - I'm not sure why they create a LogicT class in addition to LogicM. For any transformer T that's an instance of LogicT, you could instead do (Monad m) => LogicM (T m), and avoid having two classes. AU - Kiselyov, Oleg AU - Shan, Chung-Chieh AU - Friedman, Daniel AU - Sabry, Amr UR - http://okmij.org/ftp/papers/LogicT.pdf ER -