2596 search results - page 201 / 520 » Gradual Typing for Objects |
129
Voted
POS
1994
Springer
15 years 8 months ago
1994
Springer
During the lifetime of an application, the objects and bindings in a persistent store may require modification in order to fix bugs or incorporate changes. Two mechanisms, Octopus...
131
click to vote
CL
1999
Springer
15 years 3 months ago
1999
Springer
It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of ine ciency comes from th...
147
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
163
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
110
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
We introduce a new geometry manipulator, a tool for 2D geometrical object manipulations in drawing packages. The manipulator is an extended combination of two standard approaches....