Polymorphic typing of variables and references
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program generalization for software reuse: from C to C++
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Existential Types for Imperative Languages
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Language Issues in Mobile Program Security
Mobile Agents and Security
Quantified types in an imperative language
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |