Michael Sperber Self-Applicable Online Partial Evaluation. 465-480 1996 conf/dagstuhl/1996pe Dagstuhl Seminar on Partial Evaluation db/conf/dagstuhl/dagstuhl-pe96.html#Sperber96