Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1

First Page		Document Content
Date: 2015-04-29 12:24:51 Computer 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 1 Add to Reading List Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 334,87 KB Share 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. Oliveira DocID: 1aqSI - View Document
	Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 DocID: 19HKc - View Document
	A Counterexample to Tensorability of Effects Sergey Goncharov and Lutz Schr¨ oder September 1, 2011 DocID: 18KDQ - View Document
	Compiling Monads ∗ Olivier Danvy, J¨ urgen Koslowski, and Karoline Malmkjær DocID: 17L04 - View Document
	Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh Shan DocID: 13xQI - View Document