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.
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
PADOVANI, Luca
2014-01-01
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:
| File | Dimensione | Formato | |
|---|---|---|---|
|
LinearReconstructionFull.pdf
Accesso aperto
Tipo di file:
PREPRINT (PRIMA BOZZA)
Dimensione
264.17 kB
Formato
Adobe PDF
|
264.17 kB | Adobe PDF | Visualizza/Apri |
|
2014 - FOSSACS - Padovani.pdf
Accesso riservato
Tipo di file:
PDF EDITORIALE
Dimensione
355.44 kB
Formato
Adobe PDF
|
355.44 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
