2596 search results - page 51 / 520 » Gradual Typing for Objects |
103
Voted
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
Objects vary in their visual complexity, yet existing discovery methods perform “batch” clustering, paying equal attention to all instances simultaneously—regardless of the ...
ICTCS
2001
Springer
15 years 3 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
ECOOP
1997
Springer
15 years 3 months ago
1997
Springer
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...
126
click to vote
ESOP
2005
Springer
15 years 4 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
SIGMOD
1989
ACM
15 years 3 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...