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]
@inproceedings{Pfenning00,
title = {Reasoning about Staged Computation},
author = {Frank Pfenning},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1924/19240005.htm},
tags = {staged computation},
researchr = {https://researchr.org/publication/Pfenning00},
cites = {0},
citedby = {0},
pages = {5-6},
booktitle = {Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings},
editor = {Walid Taha},
volume = {1924},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41054-6},
}