161 search results - page 2 / 33 » Lazy call-by-value evaluation |
IFL
2007
Springer
15 years 5 months ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
104
click to vote
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
191
click to vote
POPL
2009
ACM
16 years 9 days ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
103
click to vote
SIGGRAPH
1999
ACM
15 years 4 months ago
1999
ACM
In this paper we present a technique for computing the direct lighting in a three-dimensional scene containing area light sources. Our method correctly handles partial visibility ...
SIGMOD
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we study query evaluation on Active XML documents (AXML for short), a new generation of XML documents that has recently gained popularity. AXML documents are XML do...