Checking type safety of foreign function calls

Michael Furr, Jeffrey S. Foster. Checking type safety of foreign function calls. In Vivek Sarkar, Mary W. Hall, editors, Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005. pages 62-72, ACM, 2005. [doi]

Authors

Michael Furr

This author has not been identified. Look up 'Michael Furr' in Google

Jeffrey S. Foster

This author has not been identified. Look up 'Jeffrey S. Foster' in Google