Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
711	The Power of Pi Nicolas Oury Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-01-11 05:53:29 Functional programming Data types Functional languages Type theory Procedural programming languages Append Fold Monad Polymorphism Software engineering Computing Computer programming
712	On monadic parametricity of second-order functionals Andrej Bauer1 , Martin Hofmann2 , and Aleksandr Karbyshev3 Add to Reading List Source URL: www2.in.tum.de Language: English - Date: 2013-01-08 11:29:00 Computing Monad Kleisli category Map Adjoint functors Software engineering Computer programming
713	Composing Monads Using Coproducts Christoph Luth ¨ Add to Reading List Source URL: isi.uni-bremen.de Language: English - Date: 2008-02-15 04:25:18 Computing Adjoint functors Monad Kleisli category Arrow Coproduct Distributive property Product Denotational semantics Software engineering Computer programming Functional programming
714	Proceedings (preliminary version) 10th International Workshop on Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-03-24 09:06:18 Algebra Functional programming Adjoint functors Universal algebra Monad Model theory F-coalgebra Structure F-algebra Abstract algebra Mathematics Category theory
715	Operating Systems in Haskell: Implementations, Models, Proofs Andrew Tolmach Add to Reading List Source URL: jfla.inria.fr Language: English - Date: 2007-03-07 08:56:38 Functional languages Cross-platform software Haskell Literate programming Monad Io Type system C Newline Software engineering Computing Computer programming
716	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2004-10-21 12:10:16 Algebraic topology Adjoint functors William Lawvere Homological algebra Monad Functor Algebra Topos Sheaf Abstract algebra Category theory Mathematics
717	Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER Add to Reading List Source URL: www.r6rs.org Language: English - Date: 2008-01-06 00:14:16 Functional languages Subroutines Cross-platform software Procedural programming languages Lisp programming language Scheme Lisp Closure Monad Software engineering Computing Computer programming
718	matic problem which will strongly influence coming programming languages. Not only will conversational features be essential, there m a y even be a trend back from all too sophisticated language systems to the simple pointing with a light-pen. Pointing has always been one of the Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2004-09-28 16:10:13 Software engineering Models of computation Parallel computing Algorithm MUMPS Algorithm characterizations Monad Computing Theoretical computer science Data management
719	A POPL Pearl Submission Clowns to the Left of me, Jokers to the Right Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Algebraic topology Map Functor Monad Sheaf Abstract algebra Software engineering Computing
720	Communicating Process Architectures 2008 P.H. Welch et al. (Eds.) IOS Press, 2008 Add to Reading List Source URL: twistedsquare.com Language: English - Date: 2013-08-19 10:40:16 Adjoint functors Procedural programming languages Process calculi Functional languages Occam Communicating sequential processes Monad Haskell Function composition Software engineering Computing Computer programming