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]

Authors

Olin Shivers

This author has not been identified. Look up 'Olin Shivers' in Google

Mitchell Wand

This author has not been identified. Look up 'Mitchell Wand' in Google