Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
231	A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1 Add to Reading List Source URL: www.amitlevy.com Language: English - Date: 2013-09-13 15:42:52 Adjoint functors Functional programming Control flow Central processing unit Concurrency control Monad Scheduling Parallel computing Thread Computing Software engineering Computer programming
232	Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-11 13:48:12 Functional languages Subroutines Cross-platform software Procedural programming languages Lisp programming language Scheme Lisp Closure Monad Software engineering Computing Computer programming
233	The Monad.Reader Issue 19: Parallelism and Concurrency by Kazu Yamamoto and Bernie Pope and Dmitry Astapov and Mario Blaˇzevi´c Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2011-10-26 15:02:13 Reverse proxy Haskell Literate programming Nginx FastCGI Daemon Web server Apache HTTP Server Effi Software Computing Cross-platform software
234	¨ T ECHNOLOGIE K ARLSRUHER I NSTITUT F UR ¨ F UR ¨ I NFORMATIK FAKULT AT Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional programming Subroutines Continuations Programming paradigms Continuation-passing style Data types Control flow analysis Closure Monad Software engineering Computing Computer programming
235	A Counterexample to Tensorability of Effects Sergey Goncharov and Lutz Schr¨ oder September 1, 2011 Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:48:46 Abstract algebra Monad Tensor Homogeneous polynomial Rank Strong monad Algebra Adjoint functors Mathematics
236	The Hieroglyphic Monad John Dee, London, to Add to Reading List Source URL: www.hermetics.org Language: English - Date: 2013-08-25 10:25:36 Adjoint functors Hermeticism Hermetic Qabalah Monas Hieroglyphica Monad 7 Planets in astrology Moon Astrological sign Astrology Esotericism Astronomy
237	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - 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
238	THE CAUSAL BODY AND THE EGO By Add to Reading List Source URL: www.hermetics.org Language: English - Date: 2013-08-25 10:26:12 Paranormal Plane Causal body Reincarnation Soul Astral body Ascended master Monad Integral psychology Esotericism Religion Esoteric cosmology
239	Parallel and Concurrent Programming in Haskell version 1.2 Simon Marlow Microsoft Research Ltd., Cambridge, U.K. Add to Reading List Source URL: community.haskell.org Language: English - Date: 2012-05-11 11:31:34 Functional programming Monad Haskell Glasgow Haskell Compiler Parallel computing Concurrent computing Parallel programming model Futures and promises Concurrency Computing Software engineering Computer programming
240	Ultrametric Semantics of Reactive Programs Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-04-05 08:15:20 Software engineering Natural deduction Proof theory Denotational semantics Monad Symbol Orbifold Theoretical computer science Deduction Mathematical logic

UPDATE