2290 search results - page 109 / 458 » Extensible Protected Types |
117
Voted
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
101
Voted
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...
119
Voted
IDEAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Traditional indexing techniques are not well suited for complex data types such as spatial, spatio-temporal, and multimedia data types, where an instance is a composite of multipl...
134
Voted
RTA
2007
Springer
15 years 8 months ago
2007
Springer
We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The m...
108
Voted
PPPJ
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents the “Safe-Instantiation Principle,” a new design principle for evaluating extensions of Java with support for generic types. We discuss the GJ and NextGen ...