TYPE RECONSTRUCTION FOR THE LINEAR pi-CALCULUS WITH COMPOSITE REGULAR TYPES
Luca Padovani · 2016
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. 1.