17 search results - page 1 / 4 » Just: Safe Unknown Types in Java-like Languages |
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
JOT
2007
13 years 4 months ago
2007
SAC
2006
ACM
13 years 10 months ago
2006
ACM
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
POPL
2012
ACM
12 years 13 days ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...