Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming.

Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis

Browse the full POPL paper archive.