Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
381	c ACM, 2012. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ⃝ Not for redistribution. The definitive version was published in The International Conference on F Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Build automation Functional programming Make Apache Ant Type system Monad Parallel computing Software Computing Compiling tools
382	ML Modules and Haskell Type Classes: A Constructive Comparison Stefan Wehr1 and Manuel M. T. Chakravarty2 1 2 Add to Reading List Source URL: www.cse.unsw.edu Language: English - Date: 2008-09-03 00:59:35 Type theory Functional languages Data types Procedural programming languages Functional programming Type class Standard ML Monad ML Software engineering Computing Computer programming
383	Advances in Programming Languages APL8: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-15 05:36:06 Data types Functional programming Type theory Adjoint functors Monad Map Option type Type class Haskell Software engineering Declarative programming Computing
384	Noname manuscript No. (will be inserted by the editor) Tool Support for Refinement of Non-functional Specifications Simone R¨ottger, Steffen Zschaler Technische Universit¨at Dresden Add to Reading List Source URL: www.steffen-zschaler.de Language: English - Date: 2007-04-16 11:33:34 Information integration theory Social psychology Architecture description language Monad Systems engineering Model-driven architecture Vienna Development Method Combinatory logic Software engineering Design Cognition
385	Theory and Applications of Categories, Vol. 11, No. 11, 2003, pp. 252–282. CONTINUOUS CATEGORIES REVISITED ∗) ´ ´ ∗) Add to Reading List Source URL: www.tac.mta.ca 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
386	Monads for Free! Andres Löh Haskell eXchange – 9 October 2013 Copyright © 2013 Well-Typed LLP . Add to Reading List Source URL: kosmikus.org Language: English - Date: 2013-10-16 05:25:29 Control flow Type theory Data types Functional programming Functional languages Eval Type system Monad Haskell Software engineering Computing Computer programming
387	Preprint version. A Pattern for Almost Compositional Functions Bj¨orn Bringert Aarne Ranta Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-07-27 18:53:27 Computing Data types Functional programming Monad Pattern matching Generic programming Generalized algebraic data type Algebraic data type Type system Software engineering Declarative programming Type theory
388	Theory and Applications of Categories, Vol. 21, No. 7, 2008, pp. 118–151. EXTENSIONS IN THE THEORY OF LAX ALGEBRAS Dedicated to Walter Tholen on the occasion of his 60th birthday CHRISTOPH SCHUBERT AND GAVIN J. SEAL A Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2010-02-17 14:35:16 Algebra Monad Kleisli category Functor Group action Grothendieck topology Allegory Universal property Adjoint functors Abstract algebra Category theory
389	数理解析研究所講究録 1235 巻 2001 年 [removed] 多重線形 Littlewood-Paley 作用素と多重線形 Fourier Multiplier 関西学院大学理学部 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2007-03-24 11:00:00 Monad transformer LSZ reduction formula Quantum field theory Matrices Functional programming
390	Theory and Applications of Categories, Vol. 27, No. 4, 2012, pp. 47–64. THE CORE OF ADJOINT FUNCTORS ROSS STREET Abstract. There is a lot of redundancy in the usual definition of adjoint functors. We define and prove Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-06-12 11:49:00 Algebra Monad Functor Symbol Sheaf Initial and terminal objects Adjunction Grothendieck topology Abstract algebra Category theory Adjoint functors

UPDATE