Skip to content

A bisimulation for dynamic sealing.

Eijiro Sumii, Benjamin C. Pierce

VenueA*POPL
Year2004
ProceedingsPOPL

Browse the full POPL paper archive.