P. Coppola, S. Martini (2006). Optimizing optimal reduction. A type inference algorithm for elementary affine logic. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 7, 219-260 [10.1145/1131313.1131315].
Optimizing optimal reduction. A type inference algorithm for elementary affine logic
MARTINI, SIMONE
2006
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.