Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
751	PDF Document Add to Reading List Source URL: www.htius.com Language: English - Date: 2009-12-05 15:24:21 Systems engineering Universal Systems Language Functions and mappings C++ Monad Software engineering Computing Mathematics
752	PDF Document Add to Reading List Source URL: www.htius.com Language: English - Date: 2009-12-05 15:25:08 Systems engineering Universal Systems Language Monad Computing Software engineering Computer programming
753	PDF Document Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2001-12-06 10:20:55 Adjoint functors Functions and mappings Symmetry Limit Topos Equivalence of categories Universal property Monad Sheaf Mathematics Category theory Abstract algebra
754	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-12-28 16:47:05 Computing OCaml Coq Type system Type variable Intuitionistic type theory ML ATS Monad Software engineering Programming language theory Type theory
755	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-09-27 09:48:01 Functional programming Algebra F-coalgebra Coalgebra Initial algebra F-algebra Cofree coalgebra Bialgebra Monad Category theory Mathematics Abstract algebra
756	PDF Document Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2000-12-12 03:14:54 Functional programming Adjoint functors Monad Programming paradigms Data types Haskell Denotational semantics List Main function Software engineering Computing Computer programming
757	PDF Document Add to Reading List Source URL: tac.mta.ca Language: English - Date: 2002-08-31 13:48:13 Monoidal categories Enriched category Closed monoidal category Adjoint functors Metric space Monoidal functor Functor Monad Sheaf Category theory Algebra Mathematics
758	PDF Document Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2006-07-02 10:48:28 Adjoint functors Computing Monad Haskell Monoid Haskell 98 features Software engineering Functional programming Computer programming
759	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-02-07 21:06:36 Algebra Monoid Semiring Monad Semigroup Combinatorial species Function Functor Universal algebra Abstract algebra Algebraic structures Mathematics
760	PDF Document Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2010-05-12 14:00:40 Models of computation Software engineering Computing Nondeterministic finite automaton Deterministic finite automaton Regular expression Monad Finite-state machine Regular language Automata theory Formal languages Theoretical computer science

UPDATE