Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
141	Bidirectional Transformation is Effectful Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 2 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-26 11:58:13 Computing Functional programming Monad Bidirectional transformation Gottfried Leibniz Determinism Model theory Consistency model Adjoint functors Philosophy Software engineering
142	GENERATORS AND COLIMIT CLOSURES MICHAEL A. SHULMAN 1. Epimorphisms Let A be cocomplete and finitely complete. First we remark on some different types of epimorphisms. Add to Reading List Source URL: home.sandiego.edu Language: English - Date: 2013-06-25 23:27:21 General topology Morphisms Epimorphism Limit Coequalizer Category of topological spaces Adjoint functors Coproduct Pushout Category theory Mathematics Mathematical analysis
143	A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1 Add to Reading List Source URL: www.amitlevy.com Language: English - Date: 2013-09-13 15:42:52 Adjoint functors Functional programming Control flow Central processing unit Concurrency control Monad Scheduling Parallel computing Thread Computing Software engineering Computer programming
144	Generating Combinatorial Objects without Isomorphs Brendan D. McKay Department of Computer Science Australian National University Canberra, ACT, 0200 Add to Reading List Source URL: www.math.sinica.edu.tw Language: English - Date: 2003-10-08 02:41:27 Combinatorics Equivalence of categories Category Enumeration Graph theory Mathematics Adjoint functors Enumerative combinatorics
145	A Counterexample to Tensorability of Effects Sergey Goncharov and Lutz Schr¨ oder September 1, 2011 Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:48:46 Abstract algebra Monad Tensor Homogeneous polynomial Rank Strong monad Algebra Adjoint functors Mathematics
146	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Polar Diagram of Moving Objects∗ Mojtaba Nouri Bygi† Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-29 00:01:02 Object-oriented design Object-oriented programming Diagram Functors
147	Foundations of Software Technology and Theoretical Computer Science (BangaloreEditors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets Jonathan Hayman and Glynn Winskel Computer Labora Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-12-03 12:28:12 Concurrency Diagrams Petri net Order theory Adjoint functors Pullback Subcategory Category Morphism Category theory Mathematics Abstract algebra
148	The Hieroglyphic Monad John Dee, London, to Add to Reading List Source URL: www.hermetics.org Language: English - Date: 2013-08-25 10:25:36 Adjoint functors Hermeticism Hermetic Qabalah Monas Hieroglyphica Monad 7 Planets in astrology Moon Astrological sign Astrology Esotericism Astronomy
149	1 Language-Processing Problems Roland Backhouse DIMACS, 8th July, 2003 Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-15 12:47:55 Galois connection Order theory Function Spectral theory Adjoint functors Decomposition of spectrum Mathematics Mathematical analysis Abstract interpretation
150	PDF Document Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2014-04-02 01:09:16 Functional programming Adjoint functors Causality Monad Parallel computing Haskell Continuation Type class Determinism Software engineering Computing Computer programming

UPDATE