1![Blank Canvas and the remote-monad design pattern A Foreign Function Interface to the JavaScript Canvas API Extended Abstract Andrew Gill Aleksander Eskilson Blank Canvas and the remote-monad design pattern A Foreign Function Interface to the JavaScript Canvas API Extended Abstract Andrew Gill Aleksander Eskilson](https://www.pdfsearch.io/img/6f5638eec2a8118b689f1127ea02e3c5.jpg) | Add to Reading ListSource URL: ifl2014.github.ioLanguage: English - Date: 2015-03-04 15:20:42
|
---|
2![Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3](https://www.pdfsearch.io/img/ceedbd1dfd6f3a7bf367565505642486.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2017-01-10 09:15:12
|
---|
3![Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found through links on the ENTCS Web Page. Iterated covariant powerset is not a monad 1 Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found through links on the ENTCS Web Page. Iterated covariant powerset is not a monad 1](https://www.pdfsearch.io/img/f2c485e7eee43dfb26e87dcdd0ba7050.jpg) | Add to Reading ListSource URL: www.mathstat.dal.caLanguage: English - Date: 2018-05-24 14:46:12
|
---|
4![The Monad.Reader Issue 8 by Brent Yorgey and Conrad Parker September 10, 2007 Wouter Swierstra, editor. The Monad.Reader Issue 8 by Brent Yorgey and Conrad Parker September 10, 2007 Wouter Swierstra, editor.](https://www.pdfsearch.io/img/5d69ba03d90f2424cb190b55804b9e4f.jpg) | Add to Reading ListSource URL: wiki.haskell.orgLanguage: English - Date: 2010-12-01 11:31:55
|
---|
5![Functional Pearl: the Proof Search Monad Jonathan Protzenko Microsoft Research Abstract We present the proof search monad, a set of combinators that allows one to write a proof search Functional Pearl: the Proof Search Monad Jonathan Protzenko Microsoft Research Abstract We present the proof search monad, a set of combinators that allows one to write a proof search](https://www.pdfsearch.io/img/bbcd3c0d94734ade1b999f9d6f127933.jpg) | Add to Reading ListSource URL: jonathan.protzenko.fr- Date: 2015-11-24 20:09:38
|
---|
6![MONADS WITH ARITIES AND THEIR ASSOCIATED THEORIES ´ MELLIES ` AND MARK WEBER CLEMENS BERGER, PAUL-ANDRE Abstract. After a review of the concept of “monad with arities” we show MONADS WITH ARITIES AND THEIR ASSOCIATED THEORIES ´ MELLIES ` AND MARK WEBER CLEMENS BERGER, PAUL-ANDRE Abstract. After a review of the concept of “monad with arities” we show](https://www.pdfsearch.io/img/a280208edf0c8e4ffc20f62fe15b4167.jpg) | Add to Reading ListSource URL: www.irif.fr- Date: 2016-09-05 14:16:47
|
---|
7![Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. The Coinductive Resumption Monad Maciej Pir´og1 , Jeremy Gibbons2 Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. The Coinductive Resumption Monad Maciej Pir´og1 , Jeremy Gibbons2](https://www.pdfsearch.io/img/b25f9697e0dddf5713ed0a527221257e.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.uk- Date: 2015-10-05 08:25:46
|
---|
8![Normalization by Evaluation in the Delay Monad Andreas Abel1 James Chapman 2 Normalization by Evaluation in the Delay Monad Andreas Abel1 James Chapman 2](https://www.pdfsearch.io/img/6ed9743a2bd0523b5fd9713e10617f6d.jpg) | Add to Reading ListSource URL: www.types2016.uns.ac.rs- Date: 2016-06-07 15:00:17
|
---|
9![FROM LAX MONAD EXTENSIONS TO TOPOLOGICAL THEORIES MARIA MANUEL CLEMENTINO AND WALTER THOLEN To Manuela, teacher and friend Abstract. We investigate those lax extensions of a Set-monad T = FROM LAX MONAD EXTENSIONS TO TOPOLOGICAL THEORIES MARIA MANUEL CLEMENTINO AND WALTER THOLEN To Manuela, teacher and friend Abstract. We investigate those lax extensions of a Set-monad T =](https://www.pdfsearch.io/img/be0ba481d8faee12eb9c1e75b89a55fc.jpg) | Add to Reading ListSource URL: people.math.yorku.ca- Date: 2015-01-08 11:40:52
|
---|