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]
Abstract is missing.