I.D.B.: Observable properties of higher-order functions that dynamically create local names, or what’s new (0)

by A M Pitts, Stark