Checking type safety of foreign function calls.

Michael Furr Jeffrey S. Foster

Published in: PLDI (2005)

Keyphrases

type checking
machine learning
databases
information systems
website
three dimensional
learning environment