Type Inference for a polynomial Lambda-Calculus

Contributo in Atti di convegno
Data di Pubblicazione:
2009
Tipologia CRIS:
04B-Conference paper in rivista
Elenco autori:
M. Gaboardi; S. Ronchi Della Rocca
Link alla scheda completa:
https://iris.unito.it/handle/2318/140513
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series