MBrace: Cloud Computing with Monads Jan Dzik Nick Palladinos Konstantinos Rontogiannis

Source URL: www.m-brace.net

• Adjoint functors
• Workflow technology
• Cloud infrastructure
• Functional languages
• Apache Hadoop
• MapReduce
• Monad
• Azure Services Platform
• Workflow
• Computing
• Cloud computing
• Software engineering

Seminario 16 giugno 2015, oreDr. CHRISTIAN HUYGHE Directeur Scientifique Adjoint Agriculture, INRA, Paris “Plant and animal proteins: an equation with numerous parameters. Consequences for research agenda on

Source URL: sito.entecra.it

Unifying Theories of Programming with Monads Jeremy Gibbons UTP 2012, Aug 2012

Source URL: utp12.lri.fr

• Higher-order functions
• Functional programming
• Adjoint functors
• Fold
• Recursion
• Programming paradigms
• Map
• Monad
• Unification
• Software engineering
• Declarative programming
• Computing

Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1

Source URL: www.cs.ox.ac.uk

• Computer programming
• Adjoint functors
• Data types
• Monad
• Type theory
• Strong monad
• Type class
• Haskell
• Monoid
• Declarative programming
• Software engineering
• Functional programming

Bidirectional Transformation is Effectful Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 2

Source URL: www.cs.ox.ac.uk

• Computing
• Functional programming
• Monad
• Bidirectional transformation
• Gottfried Leibniz
• Determinism
• Model theory
• Consistency model
• Adjoint functors
• Philosophy
• Software engineering

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.

Source URL: home.sandiego.edu

• General topology
• Morphisms
• Epimorphism
• Limit
• Coequalizer
• Category of topological spaces
• Adjoint functors
• Coproduct
• Pushout
• Category theory
• Mathematics
• Mathematical analysis

Communiqué de presse RegionsJob promeut François Leverger au poste de Directeur général adjoint Avec cette nomination, le site d’emploi et de formation spécialisé sur les régions renforce son équipe dirigeante

Source URL: groupe.regionsjob.com

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

Source URL: www.amitlevy.com

• Adjoint functors
• Functional programming
• Control flow
• Central processing unit
• Concurrency control
• Monad
• Scheduling
• Parallel computing
• Thread
• Computing
• Software engineering
• Computer programming

Generating Combinatorial Objects without Isomorphs Brendan D. McKay Department of Computer Science Australian National University Canberra, ACT, 0200

Source URL: www.math.sinica.edu.tw

• Combinatorics
• Equivalence of categories
• Category
• Enumeration
• Graph theory
• Mathematics
• Adjoint functors
• Enumerative combinatorics

Secrétariat du Directeur-Adjoint chargé des recrutements, de la Formation Initiale et de la Recherche PROFIL DE LA PROMOTION 2015 DES AUDITEURS DE JUSTICE ISSUS DES TROIS CONCOURS D’ACCES ET DU RECRUTEMENT SUR TITRE

Source URL: www.enm-justice.fr