3311 search results - page 317 / 663 » Deductive Object Programming |
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
We show that a natural online algorithm for scheduling jobs on a heterogeneous multiprocessor, with arbitrary power functions, is scalable for the objective function of weighted ï¬...
109
click to vote
CTCS
1995
Springer
15 years 6 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
102
click to vote
FPCA
1991
15 years 6 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
106
click to vote
LFP
1990
15 years 4 months ago
1990
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
148
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...