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

Source URL: ndmitchell.com

• Software
• Computer programming
• Build automation
• Compiling tools
• Software design patterns
• C++
• Make
• Monad
• Apache Ant
• Include directive
• Standard
• Package manager

D_Ruhestandsplaner_XXXX.qxd:25

Source URL: www.monad.de

Makler/Finanzdienstleister Ruhestandsplanungdie Königsdisziplin der Beratung E

Source URL: www.monad.de

Deriving a Relationship from a Single Example

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Monad
• Fold
• Scheme

Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Literate programming
• Functional programming
• Monad
• Haskell
• Inline expansion
• First-order logic

Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ

Source URL: gbaz.github.io

• Software engineering
• Computer programming
• Category theory
• Algebra
• Functional programming
• Higher-order functions
• Programming language comparisons
• Adjoint functors
• Monad
• Functor
• Fold
• Map

Defining your own build system With Shake Neil Mitchell http://shakebuild.com

Source URL: ndmitchell.com

• Build automation
• Compiling tools
• Monad
• SCons
• Waf
• Make
• GNU Compiler Collection

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

Source URL: ndmitchell.com

• Software engineering
• Declarative programming
• Lambda calculus
• Computer programming
• Functional programming
• A-normal form
• Let expression
• Fixed-point combinator
• Exponentiation
• Expression
• Monad
• Anonymous function

ZU064-05-FPR polymorphic-eff 24 May 2016

Source URL: arxiv.org

• Symbol
• Substitution
• Monad
• Denotational semantics
• Variable

Monadic Translation of Multi-Staged Languages Ludovic Patey Kwangkeun Yi

Source URL: ludovicpatey.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Models of computation
• Monad
• Substitution
• Lambda calculus