Intersection types for unbind and rebind

CIANCAGLINI M DEZANI, Paola GIANNINI, E. ZUCCA

Research output: Contribution to conferencePaperpeer-review

Original languageItalian
Pages45-58
Number of pages14
DOIs
Publication statusPublished - 1 Jan 2010
EventITRS'10 - Intersection Types and Related Systems - Edinburgh
Duration: 1 Jan 2010 → …

Conference

ConferenceITRS'10 - Intersection Types and Related Systems
CityEdinburgh
Period1/01/10 → …

Cite this