IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Design of Large-Scale Polylingual Systems
Proceedings of the 26th International Conference on Software Engineering
Reasoning About Multi-Lingual Exception Handling Using RIPLS
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking type safety of foreign function calls
ACM Transactions on Programming Languages and Systems (TOPLAS)
Polymorphic type inference for the JNI
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Hi-index | 0.00 |