9521 search results - page 212 / 1905 » Compiling with continuations, continued |
137
Voted
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
In many applications, stream data are too voluminous to be collected in a central fashion and often transmitted on a distributed network. In this paper, we focus on the outlier det...
104
Voted
IBPRIA
2007
Springer
15 years 9 months ago
2007
Springer
SARA
2007
Springer
15 years 9 months ago
2007
Springer
127
click to vote
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
WOLLIC
2007
Springer
15 years 9 months ago
2007
Springer
