Semantics for communication primitives in an polymorphic language (1993)

by A OHORI, K KATO
Venue:In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL