12452 search results - page 166 / 2491 » An exploration of program as language |
181
click to vote
TCS
2008
15 years 6 months ago
2008
The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than...
209
click to vote
JMLR
2012
13 years 9 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...
196
click to vote
PLDI
2004
ACM
15 years 12 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
276
click to vote
Book
A great book about the Implementation of Functional Programming Languages.
189
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...