Semantics for communication primitives in a polymorphic language (1993)

by Atsushi Ohori, Kazuhiko Kato
Venue:In Proc. 20th ACM Symp. on Principles of Programming Languages