330 search results - page 2 / 66 » Intersection and Union Types |
POPL
1998
ACM
13 years 9 months ago
1998
ACM
TACS
1991
Springer
13 years 9 months ago
1991
Springer
NDJFL
2002
13 years 5 months ago
2002
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
JFP
2002
13 years 5 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...