%0 Journal Article %J ACM Transactions on Programming Languages and Systems (TOPLAS) %D 2008 %T Checking type safety of foreign function calls %A Furr,M. %A Foster, Jeffrey S. %B ACM Transactions on Programming Languages and Systems (TOPLAS) %V 30 %P 18 - 18 %8 2008/// %G eng %N 4