Bottom-Up beta-Reduction: Uplinks and lambda-DAGs.

Olin Shivers, Mitchell Wand

Browse the full ESOP paper archive.