Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types
Programming Languages
2019-03-14 v2
Abstract
We extend the linear {\pi}-calculus with composite regular types in such a way that data containing linear values can be shared among several processes, if there is no overlapping access to such values. We describe a type reconstruction algorithm for the extended type system and discuss some practical aspects of its implementation.
Keywords
Cite
@article{arxiv.1510.01752,
title = {Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types},
author = {Luca Padovani},
journal= {arXiv preprint arXiv:1510.01752},
year = {2019}
}
Comments
45 pages