Security types preserving compilation (2004)

by G Barthe, A Basu, T Rezk
Venue:In Proceedings of VMCAI’04