Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
661	Links Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-03-04 12:47:43 Functional programming Adjoint functors Query languages Functional languages Monad XQuery Philip Wadler SQL JavaScript Computing Software engineering Computer programming
662	Semantic Structure for Programming Languages with Effects (a 6-lecture course) Alex Simpson Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-04-17 12:01:03 Models of computation Type theory Computability theory Formal methods Lambda calculus Theoretical computer science Monad Type system FO Software engineering Computer programming Computing
663	____________________________________________________ Chapter 19 Interface Tables ____________________________________________________ Add to Reading List Source URL: www.unix.org Language: English - Date: 1997-06-09 09:02:56 Unix Monad System V Interface Definition Software engineering Computing Computer programming POSIX
664	This is an extract from: A Source Book from The Open Group The Authorized Guide to the Single UNIX Specification, Version 4 The Open Group Add to Reading List Source URL: www.unix.org Language: English - Date: 2010-09-06 04:34:40 Functional programming Monad Computing
665	A Principled Approach to Operating System Construction in Haskell Thomas Hallgren Add to Reading List Source URL: ogi.altocumulus.org Language: English - Date: 2005-07-10 01:38:48 Functional programming Adjoint functors Data types Type theory Interrupts Monad L4 microkernel family Haskell Thread Computing Software Computer architecture
666	1640 Monad Road Billings, MT 59101 Add to Reading List Source URL: www.dtsb.com Language: English - Date: 2014-02-12 17:37:41 Logistics Supply chain management Billings Metropolitan Area Truckload shipping Billings Montana Cargo Warehouse Cross-docking Fax Technology Business Transport
667	REPLY TO MADAME BLAVATSKY’S Add to Reading List Source URL: www.teosofia.com Language: English - Date: 2012-06-01 10:53:24 Theosophy Philosophy of religion Esoteric cosmology Spiritual evolution Religious philosophy Ascended master Helena Blavatsky Monad Faith Religion New Age Belief
668	AAA76 – Preliminary Schedule of Lectures Friday, May 23rd, Morning The talks are scheduled for 20 (or 50) minutes in length, followed by a 5 minute discussion Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2008-06-05 03:52:49 Algebra Lattice theory Fuzzy logic Algebraic structures Distributive lattice Variety Lattice BL Monad Universal algebra Abstract algebra Mathematics
669	Derived Algebraic Geometry Over En -Rings John Francis Add to Reading List Source URL: www.math.northwestern.edu Language: English - Date: 2011-03-03 06:58:25 Category theory Adjoint functors Monoidal categories Algebraic topology E∞-operad Operad theory Cotangent complex Functor Monad Abstract algebra Algebra Mathematics
670	Modeling an Algebraic Stepper John Clements, Matthew Flatt , and Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-07 08:17:37 Lisp programming language Functional programming Models of computation Procedural programming languages Cons Lambda calculus Monad Fold S-expression Software engineering Computing Computer programming

UPDATE