493 search results - page 9 / 99 » types 1998 |
TIC
1998
Springer
15 years 2 months ago
1998
Springer
Suppose we translate two different source languages,
75
Voted
ECOOP
1998
Springer
15 years 2 months ago
1998
Springer
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We su...
94
Voted
ASIAN
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
65
Voted
SIGADA
1998
Springer
15 years 2 months ago
1998
Springer
At the last workshop, the issue of being able to extend protected types in the same manner as tagged types was discussed. The conclusion was that further consideration was needed ...
ACTA
1998
14 years 10 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...