Types for Evolving Communication in Safe Ambients.

Francesca Levi

Browse the full VMCAI paper archive.