4895 search results - page 454 / 979 » Functional Quantum Programming |
171
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
159
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
It is well known that the performance of quicksort can be improved by selecting the median of a sample of elements as the pivot of each partitioning stage. For large samples the pa...
213
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
We present a typed intermediate language λCIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λCIL is a ty...
211
click to vote
ESOP
1994
Springer
15 years 11 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
130
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...