9521 search results - page 212 / 1905 » Compiling with continuations, continued |
186
click to vote
HPCC
2007
Springer
16 years 20 days 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...
163
click to vote
TLCA
2007
Springer
16 years 19 days 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 ...
