Sciweavers

POPL
2007
ACM
15 years 9 months ago
First-class nonstandard interpretations by opening closures
Jeffrey Mark Siskind, Barak A. Pearlmutter