Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
421	Theory and Applications of Categories, Vol. 27, No. 10, 2012, pp. 210–221. DESCENT IN MONOIDAL CATEGORIES BACHUKI MESABLISHVILI Abstract. We consider a symmetric monoidal closed category V = (V , ⊗, I, [−, −]) t Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-10-09 13:31:00 Monoidal categories Morphisms Adjoint functors Monoid Epimorphism Category of abelian groups Functor Abelian category Monad Category theory Abstract algebra Algebra
422	C AHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES G. M. K ELLY Structures defined by finite limits in the Add to Reading List Source URL: archive.numdam.org Language: English - Date: 2008-04-09 04:39:15 Adjoint functors Limit Diagram Equivalence of categories Universal property Representable functor Monad Complete category Natural transformation Category theory Abstract algebra Functors
423	COAST: An Architectural Style for Decentralized On-Demand Tailored Services Michael M. Gorlick, Kyle Strasser and Richard N. Taylor Institute for Software Research University of California, Irvine Add to Reading List Source URL: wicsa2012.soberit.hut.fi Language: English - Date: 2012-11-29 11:36:04 Concurrent computing Monad Software engineering Computer programming Computing Actor model
424	LilyPond The music typesetter Extending The LilyPond development team Add to Reading List Source URL: lilypond.org Language: English - Date: 2014-09-28 10:46:43 Lisp programming language Functional programming Scheme GNU Guile GNU LilyPond Lisp Cons ALGOL 68 Monad Computing Software engineering Computer programming
425	Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions David Scott Richard Sharp Add to Reading List Source URL: thomas.gazagnaire.org Language: English - Date: 2013-11-14 06:21:29 Functional languages OCaml Caml Xen ML Foreach loop Citrix Systems Monad Structural type system Computing Software engineering Computer programming
426	* Value Relations – Old Wine in New Barrels Wlodek Rabinowicz Lund University, Sweden Add to Reading List Source URL: www.philosophie.ch Language: English - Date: 2011-09-23 13:32:43 Monad Mind Computing Human behavior Attitude Preference Myers-Briggs Type Indicator
427	Internal, formal and thin relations François CLEMENTZ Aix-Marseille Université CEPERC – UMR 7304 Add to Reading List Source URL: www.philosophie.ch Language: English - Date: 2012-05-01 06:33:25 Mathematics Property Category of being Finitary relation Mereology Monad Quantity Function Truthmaker Ontology Metaphysics Philosophy
428	1 Delimited continuations in Haskell This section describes programming with delimited control in Haskell. Delimited control, like its instance, exceptions, is an effect. Therefore, we have to use Add to Reading List Source URL: okmij.org Language: English - Date: 2011-09-28 00:23:40 Functional programming Adjoint functors Control flow Functional languages Monad Delimited continuation Continuation Map J Software engineering Computer programming Computing
429	Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions David Scott Richard Sharp Add to Reading List Source URL: gazagnaire.org Language: English - Date: 2013-11-14 06:21:29 Functional languages OCaml Caml Xen ML Foreach loop Citrix Systems Monad Structural type system Computing Software engineering Computer programming
430	Thursday, 9 October October 2014 S M 5 Add to Reading List Source URL: functionalconf.com Language: English - Date: 2014-10-07 03:57:55 Programming paradigms Functional languages Evaluation strategy Functional programming Haskell Language Integrated Query Monad Persistent data structure Scala Software engineering Computing Computer programming

UPDATE