Hiding local state in direct style: a higher-order anti-frame rule (2008)

by F Pottier
Venue:In LICS