330 search results - page 7 / 66 » Intersection and Union Types |
ESOP
2004
Springer
14 years 28 days ago
2004
Springer
IFSA
2003
Springer
14 years 22 days ago
2003
Springer
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that are nonlinear convolutions...
JCT
2002
13 years 7 months ago
2002
In [2] a construction of a class of two-intersection sets with respect to hyperplanes in PG(r - 1, qt ), rt even, is given, with the same parameters as the union of (qt/2 - 1)/(q ...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
