Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
121	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
122	Uniform Boilerplate and List Processing Or: Scrap Your Scary Types Neil Mitchell and Colin Runciman, Haskell Workshop, 2007 Add to Reading List Source URL: ndmitchell.com Language: English Haskell Literate programming Literal Monad
123	Shake Before Building Replacing Make with Haskell Neil Mitchell community.haskell.org/~ndm/shake Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software Computer programming Build automation Compiling tools Make SCons Haskell Waf Monad Dependency graph Cabal GNU Compiler Collection
124	The Abstract Method, In General Gershom Bazerman, S&P/CapitalIQ “It is natural to attend most to the most set-like aspects of toposes, and to imagine them as derived from set theory, and to do this even without thinki Add to Reading List Source URL: gbaz.github.io Language: English - Date: 2016-02-29 17:49:20 Computer programming Software engineering Mathematics Adjoint functors Axiom Monad Topos Theory Real number Set theory
125	Deriving a Relationship from a Single Example Neil Mitchell Abstract Given an appropriate domain specific language (DSL), it is possible Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Programming language comparisons Functional languages Monad Generic programming Type class Algebraic data type
126	Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-01-05 15:36:49 Algebra Abstract algebra Mathematics Semigroup theory Monoid Monad Separation logic Invariant Modal logic Free monoid Syntactic monoid
127	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form
128	The Monad.Reader Issue 22 by Anton Dergunov and Matt Fenwick and Jay Vyas and Mike Izbicki August 21, 2013 Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2013-08-21 01:57:49
129	Value Sensitivity and Observable Abstract Values for Information Flow Control Luciano Bello1 , Daniel Hedin1,2 , and Andrei Sabelfeld1 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-09-18 08:04:23 Data types Type theory Typeof Variable High Speed 2 Information flow Dynamical system Monad Type system Operator
130	The Habit Programming Language: The Revised Preliminary Report The High Assurance Systems Programming Project (Hasp) Department of Computer Science, Portland State University Portland, Oregon 97207, USA November 2010 Add to Reading List Source URL: hasp.cs.pdx.edu Language: English - Date: 2011-02-16 17:13:08 Functional languages Functional programming Data types Type theory Procedural programming languages Haskell Syntax Monad Type system ML Programming language Type class

UPDATE