Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
161	A demo of Coco: a compiler for monadic coercions in ML Nataliya Guts† † Michael Hicks† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-08-29 10:40:12 Type theory Data types Functional languages Functional programming Adjoint functors Monad Type class OCaml ML Software engineering Computing Computer programming
162	Efficiency of Molecular Machines Thomas D. Schneider, Ph.D. National Cancer Institute at Frederick Center for Cancer Research Nanobiology Program Molecular Information Theory Group Add to Reading List Source URL: www.case.edu Language: English - Date: 2010-08-08 14:13:58 Gene expression RNA RNA polymerase Information theory Monad Genetics Chemistry Adjoint functors Biology Enzymes
163	Typeclassopedia Funktoren, Monaden, Arrows Typklassen fu¨r Typkonstruktoren Robert Steuck Add to Reading List Source URL: www.fh-wedel.de Language: English - Date: 2011-05-19 08:20:21 Computer programming Computing Monad Map Functor Arrow Federal Medical Assistance Percentages Software engineering Functional programming Adjoint functors
164	Changes in the Berwickshire Flora since the New Atlas Michael E Braithwaite1 A project to repeat-record the vice-county of Berwickshire hectad2 by hectad was two-thirds complete by the end of 2011 enabling provisional re Add to Reading List Source URL: bsbi.org.uk Language: English - Date: 2015-03-03 13:51:09 Measurement Tetrad Sedum Hectad Monad Berwickshire Rumex longifolius Invasive species Duns Adjoint functors Environment Conservation
165	ROTATION INVARIANCE IN ALGEBRAIC K-THEORY Contents 1. Overview 1.1. Introduction 1.2. Outline Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2014-11-21 17:09:23 Monoidal categories Functors Monoidal functor PRO Universal property Adjoint functors Initial and terminal objects Natural transformation Equivalence of categories Category theory Abstract algebra Algebra
166	Parchments for CafeOBJ logics? Till Mossakowski1 , Wieslaw Pawlowski2 , Donald Sannella3 , and Andrzej Tarlecki4 1 3 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-11-24 15:46:17 Metalogic Universal algebra Institution Structure Dual Adjoint functors Interpretation Signature Sigma-algebra Model theory Mathematics Mathematical logic
167	How to record plants in Shropshire Alex Lockton () With the new Flora out of the way we can think about the next stages in botanical recording in Shropshire. It is difficult to know what to record af Add to Reading List Source URL: bsbi.org.uk Language: English - Date: 2015-04-23 04:34:12 Functional programming Monad Plant taxonomy Quadrat Type Plant Environment Science Adjoint functors Environmental statistics Biology
168	Anglesey Plants and the Flora Group in 2013 : Ian Bonner Note: The main text below appeared in BSBI Welsh Bulletin No.93 in JanuaryFollowing on are some additional notes on 2013 and early thoughts aboutThis Add to Reading List Source URL: bsbi.org.uk Language: English - Date: 2015-04-14 13:34:59 Adjoint functors Malltraeth Marsh Botanical Society of the British Isles Malltraeth Atriplex Monad Valley Wetlands Cemlyn Traeth Coch Anglesey Geography of Wales Geography of the United Kingdom
169	Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2005-07-13 17:03:59 Computer programming Adjoint functors Pattern matching Monad Type theory Continuation Strong monad Type class Call-with-current-continuation Software engineering Declarative programming Functional programming
170	Spans and the Categorified Heisenberg Algebra John Baez for more, see: http://tinyurl.com/baez-spans Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2013-09-23 20:32:13 Bicategory Monoid Braided monoidal category PRO 2-category Product Functor Adjoint functors Monoidal functor Category theory Monoidal categories Higher category theory

UPDATE