Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
51	Partial Type Equivalences for Verified Dependent Interoperability ∗ Pierre-Evariste Dagand Nicolas Tabareau Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2016-05-27 18:01:04 Type theory Equivalence relation Dependent type Preorder Homotopy type theory Monad Equivalence of categories Partial equivalence relation Type system Category Binary relation Lambda calculus
52	Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Asterios Katsifodimos Volker Markl Add to Reading List Source URL: www.user.tu-berlin.de Language: English - Date: 2016-07-21 07:25:50 Higher-order functions Functional programming Functional languages Concurrent programming languages Programming language comparisons List comprehension Apache Spark Oz Monad Fold Scala Map
53	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function Monad Closure Partial application
54	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
55	A Gentle Introduction to Haskell 98 Paul Hudak John Peterson Yale University Add to Reading List Source URL: www.haskell.org Language: English - Date: 2015-02-01 22:32:43 Type theory Data types Functional programming Functional languages Literate programming Monad Haskell Algebraic data type Pattern matching Kind Polymorphism Type inference
56	Principles of Nature and Grace Based on Reason G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been added, b Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy of religion Determinists Gottfried Wilhelm Leibniz Idealists Rationalists Monism Nous Reason Monad Monadology God Soul
57	ALGEBRAS AND MODULES IN MONOIDAL MODEL CATEGORIES STEFAN SCHWEDE and BROOKE E. SHIPLEY [Received 4 September 1998; revised 1 DecemberIntroduction Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2003-11-07 09:15:30 Category theory Monoidal categories Homotopy theory Algebraic topology Adjoint functors Monoid PRO Model category Highly structured ring spectrum Monad Symmetric monoidal category Functor
58	A DSL to declare aspect execution order Antoine Marot ∗ † Roel Wuyts Universit´e Libre de Bruxelles (ULB) Add to Reading List Source URL: dsal.dcc.uchile.cl Language: English - Date: 2008-10-10 19:02:46 Aspect-oriented software development Aspect-oriented programming Monad AspectJ Pointcut Join point Grammatical aspect Advice Cross-cutting concern Ring Distributed AOP
59	PLACES 2013 Programming Language Approaches to Communication- and Concurrency-cEntric Software (6th International Workshop) An ETAPS Satellite Event Add to Reading List Source URL: places13.di.fc.ul.pt Language: English - Date: 2014-02-12 06:01:38 Data types Procedural programming languages Software design patterns Data management Transaction processing Schedule Type system Const D ALGOL 68 Monad
60	Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers. Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2016-07-08 05:39:59 Algebraic structures Semigroup theory Functional programming Type theory Automated theorem proving Monoid Monad Type class Semiring IP Haskell Free monoid