@conference {14294,
	title = {Checking type safety of foreign function calls},
	booktitle = {ACM SIGPLAN Notices},
	volume = {40},
	year = {2005},
	month = {2005///},
	pages = {62 - 72},
	author = {Furr,M. and Foster, Jeffrey S.}
}
