Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
701	HLearn: A Machine Learning Library for Haskell Michael Izbicki UC Riverside Add to Reading List Source URL: izbicki.me Language: English - Date: 2013-05-08 20:15:52 Algebraic structures Higher-order functions Semigroup theory Category theory Functional languages Monoid Monad Semigroup Map Abstract algebra Software engineering Computing
702	Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-11-14 10:13:24 Mathematics Linear temporal logic Temporal logic Monad Limit Initial and terminal objects Functor Modal logic Cone Category theory Abstract algebra Adjoint functors
703	MFPS[removed]Towards a Common Categorical Semantics Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-04-24 15:13:37 Logic Monad Curry–Howard correspondence Monoidal category Cartesian closed category Categorical logic Kripke semantics Modal logic Strong monad Category theory Mathematics Adjoint functors
704	Yet Another Haskell Tutorial Hal Daum´e III Add to Reading List Source URL: www.umiacs.umd.edu Language: English - Date: 2010-08-06 17:02:07 Functional programming Functional languages Data types Type theory Haskell Literate programming Monad Glasgow Haskell Compiler Type class Software engineering Computing Computer programming
705	■ 連載自分自身を出力するプログラム Add to Reading List Source URL: www.ipsj.or.jp Language: English - Date: 2011-08-17 02:11:53 Adjoint functors Functional programming Monad Kleisli category Arrow Map Haskell Lambda Quine Software engineering Declarative programming Computer programming
706	The Constrained-Monad Problem Neil Sculthorpe Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2013-09-23 14:25:29 Computer programming Adjoint functors Data types Type theory Monad Type class Map Arrow List Declarative programming Functional programming Software engineering
707	✂✁✄ ✂☎✝✆✟✞✡✠☞☛✍✌✎✞✑✏✓✒✕✔✗✖ ✘✚✙✜✛✢✠✡✘✤✣✥✠☞☛✤✦✧✦✄✒★✁✩✣✫✪✬☛✚✁✩✣✮✭✯☛✰✣✮✔✱✆✳✲ ✶✴ ✵✳✷✹✸✻✺✗✼✾✽❀✿❁✽☞✷✹✷❂✼ ❃❅❄❂❆❅❇✟❈❉✽✡❊●❋✗✽✡✵✳✺✳❍■❇✟✽✹❈✚❏●✽☞❑▼▲✰❇☞◆❖◗✼❘❇ Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:27:46 Logic in computer science Adjoint functors Denotational semantics Monad Categorical logic Universal property Semantics of programming languages Structure Model theory Category theory Mathematics Theoretical computer science
708	On Categories of Monoids, Comonoids, and Bimonoids Hans–E. Porst∗ Add to Reading List Source URL: www.math.uni-bremen.de Language: English - Date: 2008-06-09 05:49:04 Monoidal categories Adjoint functors Functors Monoid Limit Initial and terminal objects Monad Equivalence of categories PRO Category theory Algebra Abstract algebra
709	Extensible Effects An Alternative to Monad Transformers Oleg Kiselyov Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-28 04:02:02 Adjoint functors Computing Monad transformer Monad Continuation ALGOL 68 Software engineering Functional programming Computer programming
710	JFP 18 (4): 423–436, [removed]c 2008 Cambridge University Press Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-01-11 05:53:26 Adjoint functors Functional programming Monad Map Functional languages Eval Functor Limit Coproduct Computing Software engineering Declarative programming

UPDATE