Blank Canvas and the remote-monad design pattern A Foreign Function Interface to the JavaScript Canvas API Extended Abstract Andrew Gill Aleksander Eskilson

Source URL: ifl2014.github.io

• Computer programming
• Software engineering
• Computing
• Functional languages
• Functional programming
• Haskell
• Literate programming
• Monad
• JavaScript
• Ur
• Foreign function interface
• Canvas element

Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3

Source URL: www.doc.ic.ac.uk

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

Source URL: www.mathstat.dal.ca

The Monad.Reader Issue 8 by Brent Yorgey and Conrad Parker September 10, 2007 Wouter Swierstra, editor.

Source URL: wiki.haskell.org

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

Source URL: jonathan.protzenko.fr

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

Source URL: www.irif.fr

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

Source URL: www.cs.ox.ac.uk

Normalization by Evaluation in the Delay Monad Andreas Abel1 James Chapman 2

Source URL: www.types2016.uns.ac.rs

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 =

Source URL: people.math.yorku.ca