599 search results - page 3 / 120 » Type System for Specializing Polymorphism |
118
click to vote
ECOOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
108
Voted
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...
121
Voted
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
123
Voted
ICFP
1998
ACM
15 years 7 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
242
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...