Safe and flexible dynamic linking of native code (2000)

by K Crary, M Hicks, S Weirich
Venue:In Workshop on Types in Compilation, Lecture Notes in Computer Science