2596 search results - page 71 / 520 » Gradual Typing for Objects |
138
click to vote
WDAG
2005
Springer
15 years 8 months ago
2005
Springer
d Abstract) Carole Delporte-Gallet1 , Hugues Fauconnier2 , and Rachid Guerraoui3 1 ESIEE-IGM Marne-La-Vallee, France 2 LIAFA Univ Paris VII, France 3 EPFL Lausanne, Switzerland Thi...
120
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
137
click to vote
CVPR
2001
IEEE
16 years 5 months ago
2001
IEEE
Outdoor scene classification is challenging due to irregular geometry, uncontrolled illumination, and noisy reflectance distributions. This paper discusses a Bayesian approach to ...
134
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— The Internet connectivity in the Autonomous System (AS) level reflects the commercial relationship between ASes. A connection between two ASes could be of type custome...
147
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...