5377 search results - page 196 / 1076 » Programming Languages For Interactive Computing |
106
click to vote
ICFP
2007
ACM
16 years 22 days ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
105
Voted
CIE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
113
click to vote
LCPC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
101
Voted
UM
2001
Springer
15 years 5 months ago
2001
Springer
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
136
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...