2 search results - page 1 / 1 » Intersection, Universally Quantified, and Reference Types |
CSL
2009
Springer
13 years 8 months 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,...
POPL
2004
ACM
14 years 5 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...