Bottom-up beta-reduction: Uplinks and lambda-DAGs

Olin Shivers, Mitchell Wand. Bottom-up beta-reduction: Uplinks and lambda-DAGs. Fundamenta Informaticae, 103(1-4):247-287, 2010. [doi]

Abstract

Abstract is missing.