Monad

Results: 766



#Item
631Functional programming / Higher-order functions / Lambda calculus / Subroutines / Recursion / Anonymous function / Monad / Function / Map / Software engineering / Declarative programming / Computing

GOO Reference Manual v46 Jonathan Bachrach MIT AI Lab November 19, [removed]Introduction

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2003-11-19 14:59:49
632Humanities / Mental health / Cognitive science / Schema / Database schema / Mimesis / Monad / Literature / Psychological theories / Data modeling

Transformational Schematic Representation, Repetition, and Mimesis across Dimensions -- Kent Palmer Transformational Schematic Representation,

Add to Reading List

Source URL: emergentdesign.net

Language: English - Date: 2014-02-16 18:13:57
633Monoidal functor / Monoidal monad / Monad / Monoidal natural transformation / Adjoint functors / Monoid / Functor / Natural transformation / Braided monoidal category / Category theory / Monoidal categories / Algebra

Simon Willerton A DIAGRAMMATIC APPROACH TO HOPF MONADS Simon Willerton* Department of Pure Mathematics University of Sheffield

Add to Reading List

Source URL: ajse.kfupm.edu.sa

Language: English - Date: 2011-04-18 08:15:48
634Artificial insemination / Cryobiology / Fertility medicine / Pets / Reproduction / Zoology / Mare / Stallion / Live foal guarantee / Livestock / Agriculture / Biology

Shooting Star Farm PO Box 589 Spofford, NH[removed]4301 Stallion Service Contract

Add to Reading List

Source URL: personal.monad.net

Language: English - Date: 2004-02-13 15:46:39
635Ajax / Cross-platform software / JavaScript / Monad / Haskell / Client–server model / JSON / Main function / X Window System / Computing / Software engineering / Software

– ICFP ’14 draft submission – A seamless, client-centric programming model for type safe web applications Koen Claessen and Anton Ekblad Chalmers University of Technology

Add to Reading List

Source URL: ekblad.cc

Language: English - Date: 2014-03-03 14:56:26
636Artificial insemination / Cryobiology / Fertility medicine / Pets / Reproduction / Zoology / Mare / Stallion / Live foal guarantee / Livestock / Agriculture / Biology

Shooting Star Farm PO Box 589 Spofford, NH[removed]4301 Stallion Service Contract

Add to Reading List

Source URL: personal.monad.net

Language: English - Date: 2004-02-13 15:46:40
637Mathematics / Monad / Kleisli category / Distributive property / Valuation / Monoid / Universal property / Natural transformation / Distributivity / Abstract algebra / Algebra / Adjoint functors

Distributing probability over nondeterminism D A N I E L E V A R A C C A1† and G L Y N N W I N S K E L2 1 2 Department of Computing, Imperial College London.

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2005-10-25 09:49:02
638Systems science / Systems theory / Monad / Profile / Domain / Computer programming / Software engineering / Cybernetics / System

Integral Systems Engineering Methodology Kent Palmer[removed]http://kdp.me [removed]

Add to Reading List

Source URL: emergentdesign.net

Language: English - Date: 2014-02-16 18:16:16
639Adjoint functors / Higher category theory / Functors / Monad / Topos / Olog / Natural transformation / Sheaf / Category of topological spaces / Category theory / Abstract algebra / Mathematics

18.S996S13 Textbook: Category Theory For Scientists

Add to Reading List

Source URL: ocw.mit.edu

Language: English - Date: 2014-06-15 19:52:26
640Functional languages / Functional programming / QuickCheck / Literate programming / Procedural programming languages / Randomness / Monad / Test Data Generation / ML / Software engineering / Computing / Computer programming

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes

Add to Reading List

Source URL: www.cs.tufts.edu

Language: English - Date: 2012-09-04 14:20:13
UPDATE