<--- Back to Details
First PageDocument Content
Cross-platform software / Language Integrated Query / Zero-knowledge proof / Multitier architecture / C / Inline expansion / Regular expression / Type system / Monad / Computing / Software engineering / Computer programming
Date: 2014-07-09 20:04:43
Cross-platform software
Language Integrated Query
Zero-knowledge proof
Multitier architecture
C
Inline expansion
Regular expression
Type system
Monad
Computing
Software engineering
Computer programming

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 1,40 MB

Share Document on Facebook

Similar Documents

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

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

DocID: 1uGgr - View Document

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

DocID: 1uwa2 - View Document

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

DocID: 1uoGn - View Document

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

DocID: 1u6v0 - View Document