Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
221	Unifying Theories of Programming with Monads Jeremy Gibbons UTP 2012, Aug 2012 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 02:47:30 Higher-order functions Functional programming Adjoint functors Fold Recursion Programming paradigms Map Monad Unification Software engineering Declarative programming Computing
222	Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 11:25:49 Programming language theory Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Monad Theoretical computer science Computer science Type theory
223	Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-04-29 12:24:51 Computer programming Adjoint functors Data types Monad Type theory Strong monad Type class Haskell Monoid Declarative programming Software engineering Functional programming
224	Composition Functions ES2015 introduced Generators ● Push/Pull control flow ● Powerful general-purpose feature ● Flexible, but specifically intended for… Add to Reading List Source URL: esdiscuss.org Language: English Actor model Futures and promises Inter-process communication Monad Generator Value at risk Computing Computer programming Software engineering
225	Bidirectional Transformation is Effectful Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 2 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-26 11:58:13 Computing Functional programming Monad Bidirectional transformation Gottfried Leibniz Determinism Model theory Consistency model Adjoint functors Philosophy Software engineering
226	Comingle: Distributed Logic Programming for Decentralized Android Applications Edmund S. L. Lam and Iliano Cervesato March 2015 CMU-CSCMU-CS-QTR-125 Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2015-03-05 12:04:45 Logic in computer science Functional programming Monad Rewriting ALGOL 68 Software engineering Programming language theory Computing
227	Advanced Scientific Programming in Python an Autumn School by the G-Node, the Center for Mind/Brain Sciences and the Fondazione Bruno Kessler Trento, Italy, October 4 → October 8, 2010 Evaluation Survey Results Add to Reading List Source URL: python.g-node.org Language: English - Date: 2014-02-06 06:57:37 Procedural programming languages Scripting languages Python Object-oriented programming ALGOL 68 Comment 9 Monad The Organ Software engineering Computer programming Computing
228	Introduction Comprehensions in CHR cp Monotonicity Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-09 18:57:09 Computer programming Functional languages Constraint Handling Rules Constraint logic programming Pure Monad Multiset Declarative programming Software engineering Constraint programming
229	The Monad.Reader Issue 16 by Aran Donohue and John W. Lato and Louis Wasserman May 12, 2010 Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2010-05-12 14:00:40 Models of computation Software engineering Computing Nondeterministic finite automaton Deterministic finite automaton Regular expression Monad Finite-state machine Regular language Automata theory Formal languages Theoretical computer science
230	Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2 Add to Reading List Source URL: www.amitlevy.com Language: English - Date: 2012-10-19 15:09:55 Computing Monad Concurrent Haskell Covert channel Information flow Thread Parity of a permutation Parallel computing Functional programming Computer programming Software engineering

UPDATE