Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
211	Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-24 05:23:23 Functional programming Data types Type theory Higher-order functions Adjoint functors Monad Pattern matching Type system List Software engineering Declarative programming Computing
212	97th Peripatetic Seminar on Sheaves and Logic at the Université catholique de Louvain, on the occasion of Rudger Kieboom’s 65th birthday Saturday 31st January:00 Registration Chair: Borceux 9:30 Janelidze: “H Add to Reading List Source URL: sites.uclouvain.be Language: English - Date: 2015-01-27 10:24:47 Monoidal categories Homotopy theory Algebraic structures Adjoint functors Monad Hopf algebra Algebraic topology Monoid Crossed module Abstract algebra Algebra Category theory
213	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 11:21:43 Lambda calculus Type theory Functional programming Control flow Continuations Delimited continuation Curry–Howard correspondence Typed lambda calculus Monad Software engineering Computing Computer programming
214	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-04-10 20:31:05 Lambda calculus Normalisation by evaluation Proof theory
215	BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-10-06 07:03:41 Functors Monad Kleisli category Limit Universal property Natural transformation Equivalence of categories Enriched category Cartesian closed category Category theory Adjoint functors Monoidal categories
216	Live Haskell Andrew Stiles Introduction Live Haskell is a system which allows users to store and execute arbitrary code online. Live Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Functional programming Haskell Literate programming Glasgow Haskell Compiler Yi Monad Read–eval–print loop IPython Python Software Computing Functional languages
217	Courses in MathematicsThis document gives a brief description of the various courses in calculus and some of the intermediate level courses in mathematics. It provides advice and pointers for planning your c Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2014-08-09 17:16:21 Mathematical logic Harvard University Math 55 Modal logic Complex number Propositional calculus Monad Mathematics Logic Mathematics education
218	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-03-11 08:14:50 Category theory Monad Functor Map Natural transformation Monoid List Applicative programming language Strong monad Adjoint functors Abstract algebra Software engineering
219	MBrace: Cloud Computing with Monads Jan Dzik Nick Palladinos Konstantinos Rontogiannis Add to Reading List Source URL: www.m-brace.net Language: English - Date: 2015-06-02 05:14:15 Adjoint functors Workflow technology Cloud infrastructure Functional languages Apache Hadoop MapReduce Monad Azure Services Platform Workflow Computing Cloud computing Software engineering

UPDATE