Sharing Equality is Linear / Condoluci, Andrea; Accattoli, Beniamino; Coen, Claudio Sacerdoti. - ELETTRONICO. - (2019), pp. 1-14. (Intervento presentato al convegno 21st International Symposium on Principles and Practice of Programming Languages 2019 tenutosi a Porto nel 7-9/10/2019) [10.1145/3354166.3354174].
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.