Semantics for Communication Primitives in an Polymorphic Language.

Atsushi Ohori Kazuhiko Kato Semantics for Communication Primitives in an Polymorphic Language. 99-112 1993 POPL db/conf/popl/popl93.html#OhoriK93