Checking type safety of foreign function calls.

Michael Furr, Jeffrey S. Foster

Browse the full PLDI paper archive.