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
Citations:38 - 7 self