316 search results - page 26 / 64 » Subtyping Union Types |
ACTA
1998
14 years 9 months ago
1998
We observe that every rst-order logic formula over the untyped version of some many-sorted vocabulary is equivalent to a union of manysorted formulas over that vocabulary. This re...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
100
click to vote
SWAT
1998
Springer
15 years 1 months ago
1998
Springer
Let C be a collection of n Jordan regions in the plane in general position, such that each pair of their boundaries intersect in at most s points, where s is a constant. Let U den...
112
click to vote
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
WCRE
1998
IEEE
15 years 1 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...