Hermes: a language for distributed computing
Hermes: a language for distributed computing
Communications of the ACM
Mechanisms for compile-time enforcement of security
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hi-index | 0.00 |