19 search results - page 1 / 4 » Type Assignment for Intersections and Unions in Call-by-Valu... |
FOSSACS
2003
Springer
13 years 11 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...
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
POPL
1998
ACM
13 years 10 months ago
1998
ACM
TIC
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
POPL
2004
ACM
14 years 6 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...