Computer Society of the IEEE
Type Inference and Extensionality / Piperno, Adolfo; RONCHI DELLA ROCCA, S.. - (1994), pp. 196-205. [10.1109/LICS.1994.316072]
File allegati a 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.