Ownership Types for the Join Calculus / Patrignani, Marco; Clarke, Dave; Sangiorgi, Davide. - 6722:(2011), pp. 289-303. (Intervento presentato al convegno FORTE tenutosi a Reykjavik, Iceland, nel June 6-9, 2011) [10.1007/978-3-642-21461-5_19].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione