Checking type safety of foreign function calls (0)

by Michael Furr, Jeffrey S Foster
Venue:ACM Trans. Program. Lang. Syst