801 search results - page 16 / 161 » The Core Language of Aldwych |
113
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
173
Voted
CISSE
2008
Springer
15 years 7 months ago
2008
Springer
- To achieve high performance, the next generation of high-level programming languages should incorporate databases as core technology. Presented here are the design considerations...
160
click to vote
APLAS
2009
ACM
16 years 3 days ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
207
click to vote
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
177
click to vote
ASPLOS
2012
ACM
14 years 1 months ago
2012
ACM
The rise of multi-core processors has shifted performance efforts towards parallel programs. However, single-threaded code, whether from legacy programs or ones difficult to para...