@INPROCEEDINGS{
TITLE="First-Class Nonstandard Interpretations by Opening Closures",
AUTHOR="Jeffrey Mark Siskind and Barak A. Pearlmutter",
YEAR="2007",
BOOKTITLE="Proceedings of the 2007 Symposium on Principles of Programming Languages (POPL 2007), Nice France",
PAGES="71-76"
}