Semantics for Communication Primitives in an Polymorphic Language.

Atsushi Ohori, Kazuhiko Kato

Browse the full POPL paper archive.