Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
431	Ur/Web: A Simple Model for Programming the Web tifact eu OPL * Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2014-11-21 08:59:38 Functional programming Relational database management systems Cross-platform software Monad Append Extensible Storage Engine SQL Dataflow programming JavaScript Computing Software engineering Computer programming
432	Higher-Order Functional Reactive Programming in Bounded Space Neelakantan R. Krishnaswami Nick Benton Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-11-14 06:01:35 Functional programming Algebraic topology Fold Recursion Valuation Sheaf Append Monad Natural deduction Abstract algebra Software engineering Declarative programming
433	Theory and Applications of Categories, Vol. 5, No. 10, pp. 251–265. ASPECTS OF FRACTIONAL EXPONENT FUNCTORS ANDERS KOCK AND GONZALO E. REYES Transmitted by R.J. Wood Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2001-07-30 13:18:07 Sheaf theory Adjoint functors Topos Functor Monad Natural transformation Sheaf Limit Cartesian closed category Category theory Abstract algebra Mathematics
434	WPF Binding CheatSheet version 1.1 You can always find the latest version of this cheat sheet at http://go.nbdtech.com?94E138EA Part I – Common Examples Basic Binding {Binding} Add to Reading List Source URL: www.nbdtech.com Language: English - Date: 2010-02-26 17:32:16 Markup languages Technical communication Name binding Data binding XPath Monad XPath 1.0 Windows Presentation Foundation Computing XML OSI protocols
435	Comonadic notions of computation Tarmo Uustalu1 1 Institute Varmo Vene2 Add to Reading List Source URL: math.ut.ee Language: English - Date: 2006-10-03 16:09:05 Functor Natural transformation Computing Mathematics Adjoint functors Monad Coalgebra
436	Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time Eric Bodden1 , Patrick Lam2 and Laurie Hendren1 1 2 Add to Reading List Source URL: www.bodden.de Language: English - Date: 2008-08-12 11:24:23 Formal methods Logic in computer science Runtime verification Theoretical computer science Iterator Q Monad Algorithm Shape analysis Computing Software engineering Computer programming
437	Monads and More: Part 4 Tarmo Uustalu, Institute of Cybernetics, Tallinn University of Nottingham, 14–18 May 2007 University of Udine, 2–6 July 2007 Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2007-07-09 06:40:03 Adjoint functors Monoidal functor Monoidal natural transformation Monad Functor Natural transformation Monoid Category theory Monoidal categories Algebra
438	Strings and Stripes Graphical Calculus for Monoidal Functors and Monads Micah Blake McCurdy Macquarie University Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2010-07-19 01:34:09 Monoidal functor Monoidal monad Monoidal natural transformation Monad Monoid Coherence condition Functor Strong monad Monoidal adjunction Monoidal categories Category theory Algebra
439	2.5 KaMOS® Test Equipment KaMOS® Test Equipment is designed as light portable equipment, consisting of a reservoir, manometers and Add to Reading List Source URL: www.kamos.no Language: English - Date: 2011-01-31 03:31:04 Type theory Computer programming Type system Variable C++ classes Canonical form Stack Pointer Monad Data types Software engineering Computing
440	Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-02-07 17:27:24 Semantics HTML Model theory Predicate logic Subroutines Typeof Foreach loop Tree traversal H1 Computing Software engineering Logic

UPDATE