Type inference for nested self types (extended abstract)

Contributo in Atti di convegno
Data di Pubblicazione:
2004
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
V. BONO; J. TIURYN; P. URZYCZYN
Autori di Ateneo:
BONO Viviana
Link alla scheda completa:
https://iris.unito.it/handle/2318/28798
Link al Full Text:
Titolo del libro:
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series