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 | Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik NilssonAdd to Reading ListSource URL: www.cs.nott.ac.ukDownload Document from Source WebsiteFile Size: 1,53 MBShare 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 |