4757 search results - page 442 / 952 » Monads for Functional Programming |
196
click to vote
LISP
2008
15 years 6 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
174
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
: This work proposes a systematic methodology for the optimal selection of controller parameters, in the sense of minimizing a performance index which is a quadratic function of th...
221
click to vote
ENTCS
2002
15 years 6 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
190
click to vote
JCO
2010
15 years 5 months ago
2010
We study the extremal parameter N(n, m, H) which is the largest number of copies of a hypergraph H that can be formed of at most n vertices and m edges. Generalizing previous work...
178
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
—Calcite is a new Eclipse plugin that helps address the difficulty of understanding and correctly using an API. Calcite finds the most popular ways to instantiate a given class o...