Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
681	ON SOME ASPECTS OF THE THEORY OF MONADS CARSEN BERGER Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2011-10-07 10:12:09 Mathematics Monad Coequalizer Universal property Sheaf Functor Epimorphism Equivalence of categories Grothendieck topology Category theory Adjoint functors Abstract algebra
682	Structure, Isomorphism and Symmetry We want to give a general definition of what is meant by a (mathematical) structure that will cover most of the structures that you will meet. It is in this setting that we will define what is meant Add to Reading List Source URL: www.math.mcgill.ca Language: English - Date: 2005-12-15 14:10:49 Morphisms Semigroup theory Adjoint functors Isomorphism theorems Monoid Homomorphism Monad Image Function Abstract algebra Mathematics Algebra
683	Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2012-09-28 04:11:44 C Standard Library C file input/output Input/output Monad Haskell Io Write Control flow Main function Software engineering Computing Computer programming
684	Computational lambda-calculus and monads Eugenio Moggi∗ Lab. for Found. of Comp. Sci. Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:30:25 Mathematics Monad Symbol Kleisli category Lambda calculus Denotational semantics Normalisation by evaluation Adjoint functors Theoretical computer science Applied mathematics
685	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science
686	This is an extract from: A Source Book from The Open Group The Authorized Guide to the Single UNIX Specification, Version 3 Add to Reading List Source URL: www.unix.org Language: English - Date: 2006-08-25 10:51:13 Functional programming Monad Computing
687	Author manuscript, published in "Lecture notes in computer science (2011)" DOI : [removed][removed]9_26 Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2011-12-12 09:47:02 Lambda calculus Computability theory Theoretical computer science ATS Envelope Monad Caml Normalisation by evaluation Combinatory logic Software engineering Mathematics Computing
688	Programming with Arrows John Hughes Department of Computer Science and Engineering, Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-03-06 04:22:11 Functional programming Adjoint functors Arrow Monad Kleisli category Combinatory logic Side effect Combinator library Foreach loop Software engineering Declarative programming Computing
689	Theory and Applications of Categories, Vol. 11, No. 11, 2003, pp. 252–282. CONTINUOUS CATEGORIES REVISITED Add to Reading List Source URL: www.emis.de Language: English - Date: 2003-05-28 11:36:19 Category theory Algebraic structures Order theory Adjoint functors Semilattice Monad Universal property Complete lattice Limit Abstract algebra Mathematics Lattice theory
690	A Functional Approach to the Observer Pattern ´ Alvaro Add to Reading List Source URL: wiki.comlab.ox.ac.uk Language: English - Date: 2009-06-19 13:51:01 Adjoint functors Computing Functional programming Monad Observer pattern Haskell Observer Software engineering Software design patterns Computer programming

UPDATE