Checking type safety of foreign function calls - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Checking type safety of foreign function callsMichael Furr, Jeffrey S. Foster. TOPLAS, 30(4), 2008. [doi]

runs on WebDSL