Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
61	Announcements • Set up your computer and all accounts (Lab 0) by today • Add to Reading List Source URL: cs61a.org Language: English Subroutines Functional programming Control flow Eval Functional languages Monad Operator User-defined function Parameter Closure Anonymous function
62	A New Concurrency Model for Scala Based on a Declarative Dataflow Core Sébastien Doeraene Peter Van Roy Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Concurrent programming languages Functional languages Programming paradigms Functional programming Procedural programming languages Oz Futures and promises Scala Monad Concurrent computing Logic programming Actor model
63	Preliminaries Tensorial strength Morita theory in enriched context Morita theory in enriched context Kruna Segrt Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-26 06:49:53 Homotopy theory Category theory Adjoint functors Model category Monad Fibration Morita equivalence Weak equivalence
64	Scrap Your Zippers A Generic Zipper for Heterogeneous Types Michael D. Adams School of Informatics and Computing, Indiana University http://www.cs.indiana.edu/~adamsmd/ Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2012-07-27 19:30:16 Functional programming Zipper Monad Generic programming Generalizations of the derivative Tree traversal Type system
65	Deriving a Relationship from a Single Example Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Functional programming Monad Fold Scheme
66	Leaving the Nest: Nominal techniques for variables with interleaving scopes Murdoch J. Gabbay1 , Dan R. Ghica2 , and Daniela Petrişan3 1 2 3 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-06-27 12:59:58 Semigroup theory Category theory Functional programming Formal languages Free monoid Monoid Net NC Equivalence relation Sequence Monad Ordinal number
67	Programovací jazyky F# a OCaml Chapter 6. Sequence expressions and computation expressions (aka monads) Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-19 17:17:35 Functional languages OCaml Caml Sequence Monad ML Seq
68	Lazy Evaluation for OCL Massimo Tisi1 , R´emi Douence2 , Dennis Wagelaar3 1 AtlanMod team (Inria, Mines Nantes, LINA), Nantes, France Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2015-11-13 04:23:28 Functional programming Recursion Functional analysis Object Constraint Language Unified Modeling Language Monad ECO Lazy evaluation Tree traversal Dual space FO
69	The OCaml Language Syntax let f x = expr let rec f x = expr apply: Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Functional programming Data types Subroutines Programming idioms Object Anonymous function Immutable object This Constructor Recursion Const Monad
70	TACHYON : Tandem Execution for Efficient Live Patch Testing Matthew Maurer Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 System calls Profilers Cross-platform software Tachyon Sleep Mass Write Race condition Perf Patch test Ptrace Monad