First Page | Document Content | |
---|---|---|
Date: 2015-04-29 12:24:51Computer programming Adjoint functors Data types Monad Type theory Strong monad Type class Haskell Monoid Declarative programming Software engineering Functional programming | Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1Add to Reading ListSource URL: www.cs.ox.ac.ukDownload Document from Source WebsiteFile Size: 334,87 KBShare Document on Facebook |
Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. OliveiraDocID: 1aqSI - View Document | |
Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1DocID: 19HKc - View Document | |
A Counterexample to Tensorability of Effects Sergey Goncharov and Lutz Schr¨ oder September 1, 2011DocID: 18KDQ - View Document | |
Compiling Monads ∗ Olivier Danvy, J¨ urgen Koslowski, and Karoline MalmkjærDocID: 17L04 - View Document | |
Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh ShanDocID: 13xQI - View Document |