Preciseness of Subtyping on Intersection and Union Types

Contributo in Atti di convegno

Data di Pubblicazione:

2014

Tipologia CRIS:

04A-Conference paper in volume

Elenco autori:

M. Dezani;S. Ghilezan

Link alla scheda completa:

https://iris.unito.it/handle/2318/149874

Link al Full Text:

https://iris.unito.it/retrieve/handle/2318/149874/26190/dg14_4aperto_1402995.pdf

Titolo del libro:

RTATLCA'14

Pubblicato in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series

Dati Generali

URL

http://www.di.unito.it/~dezani/papers/dg14.pdf