Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
101	c ACM, 2012. 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 International Conference on F Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software Computer programming Build automation Compiling tools Software design patterns C++ Make Monad Apache Ant Include directive Standard Package manager
102	D_Ruhestandsplaner_XXXX.qxd:25 Add to Reading List Source URL: www.monad.de Language: German - Date: 2012-04-18 04:54:32
103	Makler/Finanzdienstleister Ruhestandsplanungdie Königsdisziplin der Beratung E Add to Reading List Source URL: www.monad.de Language: German
104	Deriving a Relationship from a Single Example 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 Monad Fold Scheme
105	Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Literate programming Functional programming Monad Haskell Inline expansion First-order logic
106	Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: gbaz.github.io Language: English - Date: 2016-02-29 17:49:20 Software engineering Computer programming Category theory Algebra Functional programming Higher-order functions Programming language comparisons Adjoint functors Monad Functor Fold Map
107	Defining your own build system With Shake Neil Mitchell http://shakebuild.com Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Build automation Compiling tools Monad SCons Waf Make GNU Compiler Collection
108	c ACM, 2010. 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 ICFP 2010, ISBN Add to Reading List Source URL: ndmitchell.com Language: English Software engineering Declarative programming Lambda calculus Computer programming Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function
109	ZU064-05-FPR polymorphic-eff 24 May 2016 Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-05-23 23:05:40 Symbol Substitution Monad Denotational semantics Variable
110	Monadic Translation of Multi-Staged Languages Ludovic Patey Kwangkeun Yi Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:57 Software engineering Computer programming Declarative programming Functional programming Models of computation Monad Substitution Lambda calculus

UPDATE