A bisimulation for dynamic sealing (2004)

by Eijiro Sumii
Venue:In Proceedings 31st Annual ACM Symposium on Principles of Programming Languages
Citations:42 - 6 self