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

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

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

Containers and Aggregates, Mutators and Isolates for Reactive Programming Aleksandar Prokopec Philipp Haller

Source URL: lampwww.epfl.ch

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Evaluation strategy
• Programming paradigms
• Lambda calculus
• Functional languages
• Reactive programming
• Functional reactive programming
• Scala
• Ur

ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages

Source URL: ludovicpatey.com

• Software engineering
• Logic
• Declarative programming
• Models of computation
• Computability theory
• Lambda calculus
• Theoretical computer science
• Continuation-passing style
• Free variables and bound variables
• Substitution

Reprinted from the 15th International Symposium on Principles and Practice of Declarative Programming (PPDPEngineering Definitional Interpreters Jan Midtgaard Norman Ramsey

Source URL: www.cs.tufts.edu

• Computing
• Software engineering
• Software
• Greek letters
• Denotational semantics
• Logic in computer science
• Lua
• Normal distribution
• San
• String

Declarative, Distributed, Edge Computation Christopher Meiklejohn // @cmeik RICON 2015, November 6th, 2015

Source URL: ricon.io

From Declarative to Computational Proof Checking for LRA Andrew Reynolds1 , Liana Hadarean2 , Cesare Tinelli1 , Yeting Ge2 , Aaron Stump1 , and Clark Barrett2 1

Source URL: lara.epfl.ch

Loosing Functions Without Gaining Data

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Subroutines
• Lambda calculus
• Functional programming
• Fold
• Recursion
• Anonymous function
• Inline expansion
• Term

DRAFT Declarative Equations, Compositional Strategies: Solving Differential Systems with Lazy Splines Functional Pearl Gershom Bazerman

Source URL: gbaz.github.io

• Interpolation
• Spline
• Polynomial
• Flat spline
• Differential equation
• Ordinary differential equation
• Cubic Hermite spline
• B-spline