Abstract | ||
---|---|---|
A type assignment with union and intersection types is introduced. Relevant syntactical and semantic properties of this system are proved. |
Year | DOI | Venue |
---|---|---|
1991 | 10.1007/3-540-54415-1_69 | TACS |
Keywords | Field | DocType |
union types | Intersection (set theory),Union type,Computer science,Semantic property,Theoretical computer science,Line–plane intersection,Type constructor | Conference |
Volume | ISSN | ISBN |
526 | 0302-9743 | 3-540-54415-1 |
Citations | PageRank | References |
15 | 0.79 | 11 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franco Barbanera | 1 | 357 | 35.14 |
Mariangiola Dezani-Ciancaglini | 2 | 1615 | 193.57 |