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 |