Daviesand Pfenning. A Modal Analysis of Staged Computation. Association for Computing Machinery (ACM), May 2001, doi:10.1145/382780.382785.