3 search results - page 1 / 1 » Untangling Typechecking of Intersections and Unions |
45
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
110
click to vote
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
202
click to vote
POPL
2004
ACM
16 years 22 days 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...