First-class nonstandard interpretations by opening closures.

Jeffrey Mark Siskind, Barak A. Pearlmutter

Browse the full POPL paper archive.