-
1
Lazy Evaluation and Delimited Control
Published 2010-07-01“…The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. …”
Get full text
Article -
2
Hybrid eager and lazy evaluation for efficient compilation of Haskell
Published 2005Get full text
Thesis -
3
Plausible Description Logic Programs for Stream Reasoning
Published 2012-10-01Subjects: Get full text
Article -
4
The Incremental Garbage Collection of Processes
Published 2008Subjects: Get full text
Working Paper -
5
Sloth: Being Lazy is a Virtue (When Issuing Database Queries)
Published 2014Subjects: Get full text
-
6
Bounded distance field for assisting interactive layout design of water circuits
Published 2019-12-01“…To evaluate the practical application of the bounded distance field and the lazy evaluation of the distance value, an interactive system to assist in the layout design of water circuits in a mold cavity is demonstrated.…”
Get full text
Article -
7
Tracing Lazy Functional Languages
Published 1996“…We describe a program LetTrace, implemented in Gofer and tracing lazy evaluation of a subset of Gofer.…”
Conference item -
8
Backward Induction for Repeated Games
Published 2018-07-01“…This is the first application of Escardó and Oliva's theory of higher-order sequential games to games of imperfect information, in which (as well as its mathematical elegance) lazy evaluation does nontrivial work for us compared with a traditional game-theoretic analysis. …”
Get full text
Article -
9
Backward Induction for Repeated Games
Published 2018“…This is the first application of Escard ´o and Oliva’s theory of higher-order sequential games to games of imperfect information, in which (as well as its mathematical elegance) lazy evaluation does nontrivial work for us compared with a traditional game-theoretic analysis. …”
Conference item -
10
Specific "scientific" data structures, and their processing
Published 2011-09-01“…We show how the usage of Haskell datatypes and - fundamental for our tutorial - the application of lazy evaluation makes it possible to operate upon such data (in particular: the "infinite" sequences) in a natural and comfortable manner.…”
Get full text
Article -
11
Experience Report: A Haskell interpreter for CellML
Published 2007“…It is our claim that using FP for our semantics results in a more concise and useful artifact for describing what such a model means. The use of lazy evaluation removes the need to explicitly determine an evaluation order for the model, resulting in a more elegant interpreter. …”
Conference item -
12
Arithmetic Coding with Folds and Unfolds
Published 2003“…One novel result concerns a new pattern of computation, which we call <em>streaming</em>, whereby elements of an output list are produced as soon as they are determined (and which has nothing to do with lazy evaluation).…”
Conference item -
13
-
14
A robust motion planning approach for autonomous driving in urban areas
Published 2009Get full text
Thesis -
15
Sloth: Being Lazy is a Virtue (When Issuing Database Queries)
Published 2014“…In this paper, we present Sloth, a new system that extends traditional lazy evaluation to expose query batching opportunities during application execution, even across loops, branches, and method boundaries. …”
Get full text
Get full text
Get full text
Get full text
Article -
16