Thunk

Known as: Suspended evaluation, Suspended computation, Thunking

In computer programming, a thunk is a subroutine that is created, often automatically, to assist a call to another subroutine. Thunks are primarily…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

Compilation of programming languages based on λ–calculus to standalone, low-level machine code involves a challenge of removing…

2012

Social coordination allows users to move beyond awareness of their friends to efficiently coordinating physical activities with…

2011

Recently, several researchers have found that cost-based satisficing search with A* often runs into problems. Although some "work…

2004

We propose novel lazy algorithms for the dynamic closest pair problem with arbitrary distance measures. In this problem we have…

2002

We show how to implement functionally the reverse, or adjoint strategy within the domain of Automatic Differentiation techniques…

2001

Web pages are becoming more complicated, both in their appearance and in the underlying business models. Just as page composition…

1997

Plotkin, in his seminal article Call-by-name, call-by-value and the λ-calculus, formalized evaluation strategies and simulations…

1997

In this paper, we propose a disambiguating technique called controlled disjunctions. This extension of the so-called named…

1995

The idea behind forward checking is to check forward so that a wrong decision can be detected in early stage during search and…

1990

CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for…