@article {14304,
	title = {Checking type safety of foreign function calls},
	journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
	volume = {30},
	year = {2008},
	month = {2008///},
	pages = {18 - 18},
	author = {Furr,M. and Foster, Jeffrey S.}
}
