Daniel Weise Roland Conybeare Erik Ruf Scott Seligman Automatic Online Partial Evaluation. 165-191 1991 conf/fpca/1991 FPCA db/conf/fpca/fpca1991.html#WeiseCRS91