41 search results - page 1 / 9 » Modular Statically Typed Multimethods |
ECOOP
1999
Springer
13 years 9 months ago
1999
Springer
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 ...
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
ICFP
1999
ACM
13 years 9 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
JUCS
2008
13 years 4 months ago
2008
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...