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
pp.147–160
ACM Press
DOI 10.1145/964001.964014
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.