Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
671	A Gentle Introduction to Type Classes and Relations in Coq Pierre Castéran Add to Reading List Source URL: www.labri.fr Language: English - Date: 2012-05-31 04:34:05 Algebraic structures Semigroup theory Mathematical structures Ring theory Formal languages Monoid Ring Monad Trace monoid Abstract algebra Mathematics Algebra
672	Template Meta-programming for Haskell Tim Sheard Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-12-11 05:41:32 Functional languages Type theory Meta-programming Template Haskell Recursion Glasgow Haskell Compiler Monad Map Haskell Software engineering Computing Computer programming
673	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: maths.mq.edu.au Language: English - Date: 2010-07-27 22:21:28 Adjoint functors Functors Higher category theory Categorical logic Lawvere theory William Lawvere Clone Monad Sheaf Category theory Abstract algebra Mathematics
674	The Gentle Art of Levitation ´ Pierre-Evariste Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-10-28 13:58:46 Algebra Algebraic topology Sheaf Monad Lambda calculus Valuation Orbifold Natural deduction Abstract algebra Mathematics Models of computation
675	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Adjoint functors Functional programming Logic in computer science Monad Models of computation Functor Applicative programming language Denotational semantics Map Declarative programming Abstract algebra Software engineering
676	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Type theory Mathematical logic Dependently typed programming Data types Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
677	Algebras for the Partial Map Classifier Monad Anders Kock Matematisk Institut, Aarhus Universitet Add to Reading List Source URL: home.imf.au.dk Language: English - Date: 2006-05-10 07:18:15 Algebra Completeness Order theory Spectral theory of ordinary differential equations Decomposition of spectrum Mathematics Spectral theory Mathematical analysis
678	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-09-13 12:40:18 Type theory Data types Mathematical logic Dependently typed programming Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
679	Logical Methods in Computer Science Vol. 9(1:[removed], pp. 1–27 www.lmcs-online.org Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-14 03:06:22 Elementary mathematics Type theory Ring theory Setoid Apartness relation Semiring Monad Equivalence relation Type class Mathematics Abstract algebra Algebraic structures
680	Theory and Applications of Categories, Vol. 26, No. 4, 2012, pp. 97–131. COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2012-02-24 15:35:03 Abstract algebra Monad Universal property Functor Strong monad Coproduct Function Cartesian closed category Morphism Category theory Adjoint functors Mathematics

UPDATE