A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines (2004)

by Mads Sig Ager , Olivier Danvy , Jan Midtgaard

Citations:

32 - 21 self

User correction supplied by mph

Datum	Value	Source
TITLE	A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines	user correction - Legacy Corrections
AUTHOR NAME	Mads Sig Ager	user correction
AUTHOR AFFIL	BRICS †; Department of Computer Science; University of Aarhus ‡	user correction
AUTHOR ADDR	Ny Munkegade, building 540; DK–8000 Aarhus C; Denmark	user correction
AUTHOR NAME	Olivier Danvy	user correction
AUTHOR AFFIL	BRICS †; Department of Computer Science; University of Aarhus ‡	user correction
AUTHOR ADDR	Ny Munkegade, building 540; DK–8000 Aarhus C; Denmark	user correction
AUTHOR NAME	Jan Midtgaard	user correction
AUTHOR AFFIL	BRICS †; Department of Computer Science; University of Aarhus ‡	user correction
ABSTRACT		user correction
YEAR	2004	SVM HeaderParse 0.2
CITATIONS	43 found	ParsCit 1.0