Neil D. Jones Carsten K. Gomard Anders Bondorf Olivier Danvy Torben Æ. Mogensen A Self-Applicable Partial Evaluator for the Lambda Calculus. 49-58 1990 conf/iccl/1990 ICCL db/conf/iccl/iccl1990.html#JonesGBDM90