451 search results - page 91 / 91 » View updates in a semantic data modelling paradigm |
PLDI
2005
ACM
13 years 12 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...