Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Padovani, Luca
Link alla scheda completa:
https://iris.unito.it/handle/2318/153600
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/153600/139523/LinearReconstructionFull.pdf
Titolo del libro:
Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14)
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali

Dati Generali

URL

http://link.springer.com/chapter/10.1007%2F978-3-642-54830-7_6
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0