9521 search results - page 464 / 1905 » Compiling with continuations, continued |
147
Voted
IEICET
2006
15 years 4 months ago
2006
A linkage is a collection of line segments, called bars, possibly joined at their ends, called joints. Straightening a tree linkage is a continuous motion of their bars from an ini...
116
click to vote
JFP
2008
15 years 4 months ago
2008
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for ...
127
click to vote
CPC
2007
15 years 4 months ago
2007
We continue the study of regular partitions of hypergraphs. In particular we obtain corresponding counting lemmas for the regularity lemmas for hypergraphs from [Regular partitions...
111
click to vote
JAT
2006
15 years 4 months ago
2006
The supremum over all knot sequences of the max-norm of the orthogonal spline projector is studied with respect to the order k of the splines and their smoothness. It is first bou...
107
click to vote
MLQ
2008
15 years 4 months ago
2008
Abstract. We continue investigations of reasonable ultrafilters on uncountable cardinals defined in Shelah [8]. We introduce a general scheme of generating a filter on from filter...