First Page | Document Content | |
---|---|---|
![]() Date: 2018-10-16 07:48:38Functional programming Software engineering Computer programming Computing Monad Arrow Functional reactive programming Strong monad Type class Combinatory logic Pure function | Add to Reading List |
![]() | 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 |