Monad

Results: 766



#Item
741Procedural programming languages / Assignment / ALGOL 68 / Relational operator / Free variables and bound variables / Programming language / ALGOL / C / Monad / Software engineering / Computing / Computer programming

PDF Document

Add to Reading List

Source URL: www.itu.dk

Language: English - Date: 2009-09-24 03:48:29
742Lambda calculus / Models of computation / Logic in computer science / Procedural programming languages / Functions and mappings / Combinatory logic / Monad / ALGOL 68 / Type system / Mathematics / Software engineering / Theoretical computer science

PDF Document

Add to Reading List

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

Language: English - Date: 2011-06-28 05:07:34
743Mathematical logic / Models of computation / Theoretical computer science / Model theory / Logic in computer science / Monad / Denotational semantics / Kleisli category / Lambda calculus / Mathematics / Adjoint functors / Software engineering

PDF Document

Add to Reading List

Source URL: www.disi.unige.it

Language: English - Date: 2002-07-31 04:29:42
744Functional programming / Adjoint functors / Data types / Type theory / Interrupts / Monad / L4 microkernel family / Haskell / Thread / Computing / Software / Computer architecture

PDF Document

Add to Reading List

Source URL: web.cecs.pdx.edu

Language: English - Date: 2005-09-26 08:17:23
745Functors / Functional programming / Monad / Natural transformation / Equivalence of categories / Map / Sheaf / Category / Enriched category / Category theory / Adjoint functors / Abstract algebra

PDF Document

Add to Reading List

Source URL: stefan-klinger.de

Language: English - Date: 2013-09-26 09:15:18
746Computer programming / Adjoint functors / Monad / Continuation / Strong monad / Type class / Call-with-current-continuation / Regular expression / Backtracking / Software engineering / Declarative programming / Functional programming

PDF Document

Add to Reading List

Source URL: www.dicta.org.uk

Language: English - Date: 2009-10-17 00:41:08
747Abstract algebra / Adjoint functors / Strong monad / Monoidal monad / Monoidal functor / Monad / Enriched category / Monoid / Closed monoidal category / Category theory / Monoidal categories / Algebra

PDF Document

Add to Reading List

Source URL: home.imf.au.dk

Language: English - Date: 2007-03-19 03:23:44
748Lambda calculus / Digital electronics / Logic in computer science / Digital signal processing / Fixed-point combinator / Recursion / Transformer / Monad / Combinatory logic / Theoretical computer science / Electronic engineering / Applied mathematics

PDF Document

Add to Reading List

Source URL: haskell.cs.yale.edu

Language: English - Date: 2011-12-16 15:59:03
749Data types / Functional programming / Type theory / Functional languages / Cross-platform software / Monad / Type class / Haskell / C++ classes / Software engineering / Computing / Computer programming

PDF Document

Add to Reading List

Source URL: haskell.org

Language: English
750Parallel computing / Functional languages / Functional programming / Procedural programming languages / Literate programming / Algorithmic skeleton / Monad / Haskell / Denotational semantics / Computing / Software engineering / Computer programming

PDF Document

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2010-06-14 10:32:33
UPDATE