Frank Pfenning. Reasoning about Staged Computation. In Walid Taha, editor, Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings. Volume 1924 of Lecture Notes in Computer Science, pages 5-6, Springer, 2000. [doi]
Abstract is missing.