Frank Pfenning Reasoning about Staged Computation. 5-6 http://link.springer.de/link/service/series/0558/bibs/1924/19240005.htm 2000 conf/saig/2000 SAIG db/conf/saig/saig2000.html#Pfenning00