Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
171	c Cambridge University Press 2010 JFP 20 (3 & 4): 271–302, 2010. 271 doi:S095679681000016X First published online 29 September 2010 Add to Reading List Source URL: publications.lib.chalmers.se Language: English - Date: 2010-10-22 02:30:22 Software engineering Computer programming Computing Type theory Functional programming Data types Generic programming C++ Type class Glasgow Haskell Compiler Monad Haskell
172	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 12:32:31
173	C:/My Files/texpapers/a note on covers/Covers08Jan2013.dvi Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2013-01-10 12:00:00 Algebra Abstract algebra Mathematics Semigroup theory Algebraic structures Monoid Semigroup Monad Homomorphism Ring Inverse element Free monoid
174	Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:48 Logic in computer science Programming language semantics Type theory Logic programming Automated theorem proving Operational semantics Substitution Syntax Type system Semantics C++ classes Monad
175	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: amitlevy.com Language: English - Date: 2013-09-13 15:42:52 Computer programming Software engineering Computing Parallel computing Scheduling Software design patterns Functional programming Concurrent computing Monad Exception handling Synchronization Futures and promises
176	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 12:32:50
177	The Functional Web Warp: A Haskell Web Server Michael Snoyman • Suite Solutions R Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2011-05-01 15:01:27 Software engineering Computing Computer programming World Wide Web Functional programming Yesod Iteratee Snap Network protocols Monad Haskell Glasgow Haskell Compiler
178	1 Monadic Parser Combinators Graham Hutton University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English Software engineering Computer programming Parsing Functional programming Formal languages Compiler construction Parser combinator Monad Recursive descent parser Compiler-compiler Combinatory logic Syntax
179	The Expectation Monad in Quantum Foundations Bart Jacobs and Jorik Mandemaker and Robert Furber Institute for Computing and Information Sciences, Radboud University Nijmegen P.O. Box 9010, 6500 GL Nijmegen, The Netherlan Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-07-17 08:46:44
180	Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2 Add to Reading List Source URL: amitlevy.com Language: English - Date: 2012-10-19 15:09:55 Functional programming Programming idioms Inter-process communication Software design patterns Parallel computing Monad Concurrent Haskell Information flow Covert channel Concurrent computing LIO Recursion

UPDATE