2290 search results - page 109 / 458 » Extensible Protected Types |
158
click to vote
TLCA
2005
Springer
15 years 11 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...
146
click to vote
GPCE
2008
Springer
15 years 7 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...
168
click to vote
IDEAS
2007
IEEE
16 years 18 days 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...
168
click to vote
RTA
2007
Springer
16 years 12 days 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...
146
click to vote
PPPJ
2004
ACM
15 years 11 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 ...