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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.