Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
201	Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants Benoit Baudry, Simon Allier, Martin Monperrus To cite this version: Benoit Baudry, Simon Allier, Martin Monperrus. Tailored Sour Add to Reading List Source URL: hal.inria.fr Language: English Natural transformation Control flow Ludwig Wittgenstein Program transformation Nationality Philosophy European people Functors
202	Towards efficient implementations of effect handlers – Extended Abstract – Steven Keuchel Tom Schrijvers Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional programming Control flow Adjoint functors Continuations Programming paradigms Monad Delimited continuation Exception handling Type class Software engineering Computing Computer programming
203	A category-theoretic account of program modules Eugenio Moggi∗ [removed] LFCS, University of Edinburgh, EH9 3JZ Edinburgh, UK May 31, 1994 Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:31:16 Adjoint functors Functors Functional programming Lambda calculus Functor Monad Natural transformation Product Cartesian closed category Category theory Mathematics Abstract algebra
204	SEMI-DISCRETE EVENTS AND MODELS IN CATEGORICAL LANGUAGE Raczynski S Universidad Panamericana, Mexico City 498 Augusto Rodin, 03920 Mexico City, Mexico e-mail: [removed] Add to Reading List Source URL: www.raczynski.com Language: English - Date: 2012-02-14 19:11:42 Functors Morphism Sheaf Category Diagram Limit Natural transformation Group action Coproduct Abstract algebra Category theory Mathematics
205	LibreS3: design, challenges, and steps toward reusable libraries Török Edwin e [removed] e Skylable L Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-12 23:52:34 Adjoint functors Functional programming Monad OCaml Declarative programming Software engineering Computer programming
206	Surrogate Regret Bounds for Proper Losses Mark D. Reid Australian National University, Canberra, 0200, Australia M ARK .R EID @ ANU . EDU . AU Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2009-07-31 02:49:19 Functors Natural transformation Eta
207	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Adjoint functors Program logic Computer programming Functional programming Models of computation Monad Predicate transformer semantics ALGOL 68 Hoare logic Software engineering Formal methods Computing
208	LibreS3: design, challenges, and steps toward reusable libraries Edwin Török Skylable Ltd. [removed] Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-12 10:38:52 Functional programming Adjoint functors Functional languages Data types Monad OCaml Caml Ocsigen List Computing Software engineering Computer programming
209	LibreS3 Design, challenges and steps toward reusable libraries Edwin Török [removed] The OCaml Users and Developers Workshop, 2014 Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-03 05:42:47 Adjoint functors OCaml Functional programming Monad Ocsigen Caml MLDonkey Török ML Software Computing Functional languages
210	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Software engineering Lambda calculus Computing Applied mathematics Adjoint functors Functional programming Monad

UPDATE