A bisimulation for dynamic sealing (2004)

by Eijiro Sumii, Benjamin C Pierce
Venue:In Proceedings 31st Annual ACM Symposium on Principles of Programming Languages