Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
621	The Typeclassopedia by Brent Yorgey [removed] The standard Haskell libraries feature a number of type classes with algebraic or category-theoretic underpinnings. Becoming a fluent Haskell hacker requires in Add to Reading List Source URL: www.haskell.org Language: English - Date: 2011-08-16 16:00:20 Computing Data types Adjoint functors Type theory Monad Map Option type Functor Natural transformation Declarative programming Software engineering Functional programming
622	Integral Systems Engineering Methodology Kent Palmer[removed]http://kdp.me [removed] Add to Reading List Source URL: holonomic.net Language: English - Date: 2014-02-16 18:16:16 Systems science Systems theory Monad Profile Domain Computer programming Software engineering Cybernetics System
623	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-03-11 08:14:50 Category theory Monad Functor Map Natural transformation Monoid List Applicative programming language Strong monad Adjoint functors Abstract algebra Software engineering
624	– Haskell Symposium ’14 draft submission – A seamless, client-centric programming model for type safe web applications Anton Ekblad and Koen Claessen Chalmers University of Technology Add to Reading List Source URL: haste-lang.org Language: English - Date: 2014-06-10 07:19:41 Software architecture Web development Cross-platform software Haskell Literate programming JavaScript Monad Client–server model X Window System Computing Software engineering Software
625	1 Linearity and nonlinearity in distributed computation Glynn Winskel Cambridge University Computer Laboratory Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-07-31 08:01:20 Algebraic topology Sheaf theory Sheaf Functor Monad Grothendieck topology Affine space Initial and terminal objects Category theory Abstract algebra Algebra
626	Integral Systems Engineering Methodology Kent Palmer[removed]http://kdp.me [removed] Add to Reading List Source URL: archonic.net Language: English - Date: 2014-02-16 17:58:04 Systems science Systems theory Monad Profile Domain Computer programming Software engineering Cybernetics System
627	Advanced Facet Theory for Facet Engineers -- Kent D. Palmer This comes out of the theory of Quantum Mechanics, which even though it is hard to understand, it is an extremely highly confirmed Add to Reading List Source URL: emergentdesign.net Language: English - Date: 2014-02-16 18:19:39 Ontology Functional programming Monad Qualia Gottfried Leibniz Reality Quantum mechanics Introduction to quantum mechanics Philosophy Adjoint functors Metaphysics
628	Advanced Pluriverse Theory for Pluriverse Engineers -- Kent D. Palmer we do not need Quantum Mechanics to generate the idea of the Pluriverse, but in fact Parmenides poem if taken seriously produces something similar to Add to Reading List Source URL: emergentdesign.net Language: English - Date: 2014-02-16 18:19:40 Possibility Modal logic Physical cosmology Psychological theories Multiverse Possible world Many-worlds interpretation Monad David Lewis Logic Philosophy Mathematical logic
629	The marriage of effects and monads PHILIP WADLER Avaya Labs and PETER THIEMANN Universit¨at Freiburg, Germany Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:14 Symbol Software engineering Computing Programming language semantics Electronic design Denotational semantics Adjoint functors Functional programming Monad

UPDATE