283 search results - page 30 / 57 » Functional Pearls: Probabilistic functional programming in H... |
CI
2004
15 years 1 months ago
2004
We consider automated decision aids that help users select the best solution from a large set of options. For such tools to successfully accomplish their task, eliciting and repre...
118
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
105
click to vote
GI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
137
click to vote
JMLR
2012
13 years 4 months ago
2012
This paper proposes a new randomized strategy for adaptive MCMC using Bayesian optimization. This approach applies to nondifferentiable objective functions and trades off explor...
122
click to vote
OOPSLA
2010
Springer
14 years 12 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...