2 search results - page 1 / 1 » Intersection, Universally Quantified, and Reference Types |
98
Voted
CSL
2009
Springer
15 years 28 days ago
2009
Springer
The aim of this paper is to understand the interplay between intersection, universally quantified, and reference types. Putting together the standard typing rules for intersection,...
165
click to vote
POPL
2004
ACM
15 years 9 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...