Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,170,325 papers from all fields of science
Search
Sign In
Create Free Account
Thunk
Known as:
Suspended evaluation
, Suspended computation
, Thunking
Expand
In computer programming, a thunk is a subroutine that is created, often automatically, to assist a call to another subroutine. Thunks are primarily…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
38 relations
.NET Framework
16-bit
32-bit
ALGOL 60
Expand
Broader (1)
Functional programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Speech deterioration in ALS after manifestation of bulbar symptoms Keywords : Amyotrophic lateral sclerosis , ALS , bulbar symptoms , motor speech disorder
T. Makkonen
2018
Corpus ID: 55108367
Background: The symptoms and their progression in amyotrophic lateral sclerosis (ALS) are typically studied after the diagnosis…
Expand
2016
2016
Compiling Functional Code for System-Level Environment
Miroslav Kratochvíl
Conference on Theory and Practice of Information…
2016
Corpus ID: 13928536
Compilation of programming languages based on λ–calculus to standalone, low-level machine code involves a challenge of removing…
Expand
2013
2013
Resource Limits for Haskell
Edward Z. Yang
,
David Mazières
2013
Corpus ID: 1518853
We describe the first iteration of a resource limits system for Haskell, taking advantage of the key observation that resource…
Expand
Review
2007
Review
2007
A Linearly Typed Assembly Language
J. Cheney
2007
Corpus ID: 263268818
Today's type-safe low-level languages rely on garbage olle tion to re y le heap-allo ated obje ts safely. We present LTAL, a safe…
Expand
2002
2002
Lazy Time Reversal , and Automatic Differentiation
J. Karczmarczuk
2002
Corpus ID: 12728430
We show how to implement functionally the reverse, or adjoint strategy within the domain of Automatic Differentiation techniques…
Expand
2002
2002
Speaking C++ as a native
B. Stroustrup
2002
Corpus ID: 60474419
C++ supports several styles (“multiple paradigms”) of programming. This allows great flexibility, notational convenience…
Expand
1998
1998
Monte Carlo Methods and the Challenge of PhotoRealism in Computer Graphics
S. Collins
1998
Corpus ID: 6964254
Computer Graphics have come a long way since the pioneering work of Ivan Sutherland in the early 60’s and his SketchPad software…
Expand
1997
1997
Thunks and the-calculus ( extended version )
J. Hatcliff
,
O. Danvy
1997
Corpus ID: 15345018
Plotkin, in his seminal article Call-by-name, call-by-value and the λ-calculus, formalized evaluation strategies and simulations…
Expand
1997
1997
Thunks and the-calculus ( extended version )
J. Hatclii
,
O. Danvy
1997
Corpus ID: 267925663
Plotkin, in his seminal article Call-by-name, call-by-value and the-calculus, formalized evaluation strategies and simulations…
Expand
1995
1995
Minimal Forward Checking with Backmarking
A. Kwan
,
E. Tsang
1995
Corpus ID: 17148364
The idea behind forward checking is to check forward so that a wrong decision can be detected in early stage during search and…
Expand