We extend the linear π-calculus with composite and equi-recursive types in a way that enables the sharing of data containing linear values, provided that there is no overlapping access on such values. We show that the extended type system admits a complete type reconstruction algorithm and, as a by-product, we solve the problem of reconstruction for equi-recursive session types.
Padovani, L. (2014). Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types. DEU : Springer [10.1007/978-3-642-54830-7_6].
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
PADOVANI, Luca
2014
Abstract
We extend the linear π-calculus with composite and equi-recursive types in a way that enables the sharing of data containing linear values, provided that there is no overlapping access on such values. We show that the extended type system admits a complete type reconstruction algorithm and, as a by-product, we solve the problem of reconstruction for equi-recursive session types.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
