A bisimulation for dynamic sealing (2004)

by Eijiro Sumii, Benjamin C Pierce
Venue:In POPL ’04