Checking type safety of foreign function calls

TitleChecking type safety of foreign function calls
Publication TypeJournal Articles
Year of Publication2008
AuthorsFurr M, Foster JS
JournalACM Transactions on Programming Languages and Systems (TOPLAS)
Volume30
Issue4
Pagination18 - 18
Date Published2008///