Sciweavers

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