Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=343752
Copy and paste this citation
ALEKSANDAR NANEVSKI
and FRANK PFENNING
(2005).
Staged computation with names and necessity. Journal of Functional Programming, 15
,
pp 893-939
doi:10.1017/S095679680500568X