Sciweavers

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