Thunks and the λ-calculus

Thunks and the λ-calculus (1997)

by John Hatcliff , Olivier Danvy

Venue:	IN THE JOURNAL OF FUNCTIONAL PROGRAMMING. RS-97-6 OLIVIER DANVY AND ULRIK
Citations:	21 - 9 self

User correction supplied by mph

Datum	Value	Source
TITLE	Thunks and the λ-calculus	user correction
AUTHOR NAME	John Hatcliff	user correction
AUTHOR AFFIL		user correction
AUTHOR NAME	Olivier Danvy	user correction
AUTHOR ADDR		user correction
ABSTRACT	Plotkin, in his seminal article Call-by-name, call-by-value and the λ-calculus, formalized evaluation strategies and simulations using operational semantics and continuations. In particular, he showed how call-by-name evaluation could be simulated under call-by-value evaluation and vice versa. Since Algol 60, however, call-by-name is both implemented and simulated with thunks rather than with continuations. We recast	user correction
YEAR	1997	INFERENCE
VENUE	IN THE JOURNAL OF FUNCTIONAL PROGRAMMING. RS-97-6 OLIVIER DANVY AND ULRIK	user correction
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	34 found	ParsCit 1.0