Checking type safety of foreign function calls (2005)

by Michael Furr , Jeffrey S. Foster
Venue:In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI
Citations:36 - 4 self