Choice in Dynamic Linking.

Martn Abadi, Georges Gonthier, Benjamin Werner

Browse the full FOSSACS paper archive.