Computing Publications

Publications Home » Channel dependent types for highe...

Channel dependent types for higher-order mobile processes

Nobuko Yoshida

Conference or Workshop Paper
31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004
January, 2004
ACM Press
DOI 10.1145/964001.964014
BibTEX file for the publication built & maintained by Ashok Argent-Katwala.